OpenAI releases 722 mathematical manuscripts for outside scrutiny
OpenAI published mathematical work from an unreleased internal model on October 6. Its repository lists 722 manuscripts in 372 families. Many have formal proofs written in Lean, which lets a computer check mathematical arguments. Others do not.
Verified 12:56 AM PDT · 3 original sources
OpenAI says the results have different levels of verification and that some unformalized results could contain problems. HotTea has not checked these proofs. The independent mathematics advisory group OpenAI consulted calls for human understanding and responsibility, alongside formal verification.
Watch corrections, added formal proofs and mathematicians' explanations of individual results. A large manuscript count does not establish that every claimed advance is correct or new.
Audit the story
Original sources
Company claims remain company claims. Follow the reporting and judge the evidence directly.
- OpenAISharing AI progress in mathematics ↗
- OpenAI on GitHubMathematical manuscripts and supporting proof artifacts ↗
- Advisory Group on Mathematics and Artificial IntelligenceRecommendations for responsible release of AI-generated mathematics ↗
Continue the edition