If mathematics were a sport, OpenAI just changed the rules of the game. The company released 722 research papers from an unreleased internal model in a single batch, grouped into 372 result families that the company says solve or advance some of the biggest open problems in mathematics.
The scale is unlike anything the field has seen. Yet behind the sheer volume lies a deeper shift: mathematical discovery is becoming a computing problem as much as a human one.
What Did OpenAI Actually Release?
The most striking claim is a proof of the “quasi-Riemann hypothesis” (a weaker version of the Riemann Hypothesis, one of mathematics’ most famous unsolved problems with a US$1 million prize attached. The original Riemann Hypothesis concerns how prime numbers are distributed; a proof of even a weaker form would be a landmark achievement.
Of the 722 papers, 162 were written in Lean, a programming language designed to let computers formally verify every step of a mathematical proof. This means a significant portion of the work has been independently machine-checked, giving it a level of rigour that human-only proofs cannot always guarantee.
OpenAI noted that nearly all of these results came from a single prompt, averaging around three hours of ChatGPT Pro compute time. This stands in stark contrast to last month’s Navier-Stokes proof, which required roughly 10,000 specialised AI agents working together.
Mathematicians React with Both Praise and Anger
Levent Alpöge, a mathematician at rival firm Anthropic who was behind July’s major Jacobian result, called the release “obviously the most significant moment in mathematical history.” Coming from a competitor, that endorsement carries weight.
But not everyone was thrilled. A WIRED report published just hours before the drop detailed growing anger among mathematicians, with some accusing OpenAI of reneging on promises to space out its releases. The sheer volume of the drop has left many in the academic community struggling to digest, verify, and respond to the claims.
The tension is understandable. When a single organisation can produce hundreds of potentially field-changing results in a matter of hours, the traditional pace of peer review and academic discourse looks increasingly fragile.
What This Means for the Future of Mathematics
Alpöge’s reaction tells the real story. A top mathematician at a direct competitor described this as the single most important moment the field has seen. Hundreds of results produced at a few hours of compute each means progress in mathematics now scales with processing power rather than human brainpower.
This trend is not slowing down. As these models improve and compute costs continue to fall, the bottleneck in mathematics will shift from “who can solve this problem?” to “which problems are worth solving?”
For mathematicians, the role is changing. The question is no longer whether AI can contribute to pure mathematics (it already can. The question is how the human community adapts to a world where the rate of discovery is measured in GPU-hours rather than human lifetimes.
)
