OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
Contribute to openai/math development by creating an account on GitHub.
HN Hacker News 
Read the full story on Hacker News This story was published by Hacker News. We link to the original so the full piece stays with its author.
Continue reading ↗ Story details
- Published
- By
- tootie
- Format
- Article
- Original
- github.com ↗
Related reporting
2 stories on this topic from 2 sources, oldest first.
- Hacker News OpenAI just dropped 700 preprints of mathematical proofs and counterexamples (this story)
