Stories
OpenAI Unveils Unreleased AI Model That Solves Hundreds of Math Problems
- •OpenAI has released 722 manuscripts containing 377 new mathematical results generated by an unreleased frontier AI model.
- •The collection includes a claimed proof of the full Birch–Swinnerton-Dyer leading-term formula for elliptic curves, subject to specific conditions.
- •The typical mathematical result required computing power equivalent to about three hours of ChatGPT Pro-level reasoning.
- •Independent mathematicians and specialists will need to independently assess the correctness and significance of the individual claims.
- •Advisers have urged AI companies to maintain academic standards and avoid using mathematical discoveries merely as marketing tools.
Key Questions Answered
OpenAI published 722 manuscripts grouped into 372 related result families containing 377 new mathematical results, including a claimed proof of the full Birch–Swinnerton-Dyer leading-term formula for elliptic curves over the rational numbers.
The independent Advisory Group on Mathematics and Artificial Intelligence (AGMAI) urged AI companies to make mathematical findings available promptly through recognised academic channels, disclose model information and costs, and avoid using releases merely as marketing tools.
Mathematical research produced at large scales makes conventional expert scrutiny difficult, meaning individual claims require independent assessment by specialists to validate their significance, correctness, and necessary revisions.
