OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

Contribute to openai/math development by creating an account on GitHub.
31 points by tootie 15 days ago github.com 13 comments
Summary not yet generated for this article.

Comments (13 of ) ⌛

Loading more comments... ⌛
Scroll down to load more comments
No comments available.
Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open