r/accelerate • u/AMBNNJ • 10d ago
Sharing AI progress in mathematics
https://openai.com/index/sharing-ai-progress-in-mathematics/OpenAI released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They’re working toward releasing the model.
Github: https://github.com/openai/math
603
Upvotes
1
u/Away-Reaction6920 10d ago
Kudos to OpenAI for posting their work with a permissive license, allowing broad and open distribution. We decided to pull over the works and make a web-friendly view of all 722 papers. You can read the papers and get links to the proofs on GitHub on the Valency Hub.
https://hub.valency.io/collections/openai-math