OpenAI shares its AI progress in mathematics via an open repository
OpenAI announced a release detailing its AI progress in mathematics and published the related materials in an open GitHub repository. The announcement drew wide attention on Hacker News. The company describes the work in its own blog post.
OpenAI shares AI results on open problems in mathematics
OpenAI published new results on open problems in mathematics produced by an internal frontier model. The company also shared Lean proof formalizations and research details on GitHub.
