SettledResearch
OpenAI publishes 722 math manuscripts from an internal model, with Lean proofs for many
372 result families from about 4,000 problems attempted. An accepted result took roughly three hours of ChatGPT Pro thinking compute. Many manuscripts still lack Lean versions.
- HEAT
- OUTLETS
- 0
- FIRST SEEN
- LAST SIGNAL
Primary source
Interesting Engineering (reporting OpenAI's release)interestingengineering.com/ai-robotics/openai-largest-math-release-lean-proofsCoverage · 1 article, oldest first
Tuesday, October 6, 2026
Interesting Engineering (reporting OpenAI's release)Primary
OpenAI publishes 722 math manuscripts from an internal model, with Lean proofs for many