OpenAI releases 722 research documents showing its AI model solved 372 Maths problems
OpenAI has released a repository of 722 research manuscripts detailing mathematical problems solved by its AI models, including potential breakthroughs in Millennium Prize Problems. The company is attempting to address academic skepticism by providing formal proofs in the Lean programming language.
Why it matters
This release marks a significant step in the integration of AI into pure mathematics, potentially accelerating scientific discovery while raising questions about verification and academic integrity.
Just weeks after claiming to have solved a 90-year-old Millennium Prize Problem that sparked outrage across the global mathematical community, OpenAI has published hundreds of new mathematical results produced by an internal frontier model. The Sam Altman-led lab released an open repository containing 722 research manuscripts organised into 372 distinct problem families. The documents cover a vast array of disciplines, including number theory and algebraic geometry, and claim major advances tied to three of the five remaining Millennium Prize Problems, including the legendary Riemann hypothesis.The release comes after a wave of skepticism from mathematicians, who voiced deep concerns about how machine-generated mathematics could disrupt their ancient field.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in