OpenAI publishes 722 mathematical proofs & manuscripts

OpenAI has published 722 mathematical manuscripts, encompassing 372 families of related results, generated by an unreleased frontier model. These include many with Lean proofs, while others are currently unverified. Each result required approximately three hours of ChatGPT Pro thinking. OpenAI is actively working towards the public release of this model, and the manuscripts are available on GitHub.

This marks the first time OpenAI has released such a large collection of AI-generated mathematical proofs, unlike previous, smaller-scale demonstrations.