OpenAI Math Proofs: 722 AI Papers Point to Science Beyond Math

What OpenAI released

On October 6, OpenAI put out the largest batch of AI-generated research mathematics so far. The company posted 722 manuscripts, grouped into 372 "families" of related results, to a public GitHub repository. All of them came from an internal frontier model that has not been released to the public.118 OpenAI says the model was given about 4,000 problems. Each result family pairs a main result with companion papers, consequences or alternative proofs.12 The company says the average result used about three hours of ChatGPT Pro-equivalent thinking time.20

The headline claims cover nearly all of higher mathematics. They include a proof of a "quasi-Riemann hypothesis", a claimed solution to the four-dimensional Kakeya conjecture and improvements to important computer algorithms.2 The release also takes aim at partial versions of two more Millennium Prize problems, the Birch and Swinnerton-Dyer conjecture and the Hodge conjecture.6 Mathematicians whose own questions were addressed noticed quickly. Northwestern's Bryna Kra pointed to a resolution of a Rokhlin mixing question dating to the 1940s. Jean-Pierre Serre, who recently turned 100, was drawn to a result that settles a conjecture he made almost 70 years ago.7

The release came a month after OpenAI's September announcement that it had solved a Navier-Stokes problem. That result relied on about 10,000 coordinated agents and cost millions of dollars in computing power. By contrast, a company spokesperson said nearly every result in the October batch came from a single prompt given to a single agent.2 In our reading, that shift in method is the most important part of the story, more important than any single theorem.

The reporting doesn't agree on the count, and that matters

Outlets have counted the release in different ways. The New York Times reported 377 results.3 OpenAI's own repository lists 372 families and 722 manuscripts.18 Another tally put the top-line results at 719.17 The numbers measure different units, such as papers, families and claims, so the gap isn't a scandal. It does show how hard it is to say what a "result" means when one company publishes more papers in a day than many departments produce in years.

Coverage also splits on how much of the work has been checked. Scientific American stressed that many results were already verified in Lean, a proof-checking programming language, which makes them all but certain to be correct.2 Other analyses were more cautious. About 42 percent of the top-line results had machine-checked Lean proofs as of October 7.17 Only 235 of the 372 families link to a formalization page, and just 162 papers have a fully formalized main result.18 Several of the most striking claims, including the Hodge, Kakeya and Birch and Swinnerton-Dyer results, currently rest only on papers the model wrote, with no formal proof.12 The quasi-Riemann claim has a Lean entry, but it sits in a catalogue that the repository itself marks "unchecked".12

The right reading is that a minority of the release is close to certain and the rest consists of plausible claims awaiting review. Calling the whole batch "solved" goes too far. Calling it hype ignores how much of it a computer has already verified.

Machine checking has limits too

The Navier-Stokes result from September shows that formal verification is not a cure-all. Researchers argue that OpenAI's model "mistranslated" part of that proof into Lean. In one lemma, the human-readable version requires a value to stay below m + 4, while the Lean version only requires it to stay below m + 5, which is a weaker statement.19 The researchers' point is not that the proof is necessarily wrong. It is that a computer check confirms whatever was formalized, and that may not be what the paper claims.19

Even descriptions of what the Navier-Stokes result proved vary. One account says the Clay Mathematics Institute considers the problem "apparently settled" in a version that includes an external force.12 Another, citing Quanta Magazine, describes a singularity proof under idealized, frictionless conditions.18 The work has also become a credit dispute. NYU's Tristan Buckmaster has accused OpenAI of racing ahead of work he was doing with Anthropic's Levent Alpöge.16

This is the background to the October release. An independent Advisory Group on Mathematics and AI at the Institute for Advanced Study issued recommendations on September 29. It asked AI labs to publish prompts, costs and reasoning for each result, deposit work in repositories no lab controls, and stop testing advanced problems on proprietary models.1218 Measured against that list, OpenAI's release complied only in part. It included reasoning summaries for just ten result families and left the repository under OpenAI's own account.1218

Why it points beyond mathematics

Axios makes the broadest argument: mathematics is following programming as the second field in which AI stopped being a novelty to experts.1 The reason is structural. Like working code, a proof can be checked, and more and more it can be checked line by line by a machine. That gives a model a reliable signal for when it is right.1 Fields with that property are where AI progress builds on itself most quickly.

The release already reaches beyond pure mathematics. It spans theoretical computer science and mathematical physics as well as number theory and geometry.15 A community-compiled list of claims includes questions familiar to physicists and materials scientists. Examples are Bose-Einstein condensation in interacting gases, an entanglement area law for two-dimensional gapped quantum systems, long-range order in the quantum Heisenberg ferromagnet, and the optimality of the hexagonal lattice in two dimensions.9 Those claims are unreviewed, and the list's labels come from readers rather than referees. Still, results like these are the theoretical groundwork behind models of magnets, quantum materials and crystal packing.

The impact on computing is real but small in practice so far. One paper claims integer multiplication could theoretically be faster by a factor so tiny that it is effectively irrelevant. Fourier transform improvements are somewhat larger but still marginal.6 One technical analysis reports deterministic algorithms that refute the 3SUM and all-pairs shortest paths (APSP) hardness hypotheses. Those are foundational assumptions that complexity theorists use to argue some problems cannot be solved faster.16 The matrix multiplication exponent has drawn attention too. One summary of the release cites a claimed bound of 9/4.5 For anyone who runs simulations, these results matter less for immediate speedups than for showing that a model can find new ideas in the algorithms behind scientific software.

Proofs are easy to check. Materials are not.

In our reading, materials science shows both why this matters and why the hype should be tempered. The field already has strong AI tools. The Materials Project holds computed data on more than 200,000 materials and 577,000 molecules, formatted for machine learning.26 Generative and agent-based systems now propose crystals and screen them with physics-based calculations.21 What it lacks is the clean verification that mathematics offers. Deep-learning models have predicted about 2.2 million stable inorganic structures, yet only 736 matched independently reported experimental structures when that work was published.29 Stability on paper does not guarantee something can be made in a lab, because of kinetic barriers and incompatible starting materials.29

This is where the comparison with mathematics breaks down. Lean can check a proof in hours. Checking a predicted material requires synthesis and testing. Autonomous labs are narrowing that gap. One robotic lab produced 36 of 57 target compounds in 17 days.29 Researchers in the field still argue that people need to stay in charge at the bench, where mistakes are costly.29 Liverpool chemist Andy Cooper said earlier this year that language models were not yet fundamentally changing how science is done, though they were finding a place inside larger automated systems.24

OpenAI has been building toward a broader science push. It called 2026 the "Year of AI and Science" in a filing to the White House science office. It also launched an OpenAI for Science team, whose leader, Kevin Weil, said the payoff could be new medicines, materials and devices.24 That team's record is mixed. In October 2025, executives deleted posts claiming to have solved Erdős problems after mathematicians showed the answers already existed in the literature.24 The team was then folded into other groups in April 2026.25 The verified disproof of a 1946 Erdős conjecture in May was a clearer success, because outside mathematicians checked it.25

Our reading

The skeptics have a point, but it is narrower than it first seems. Stephen Wolfram argued that machines can produce endless theorems that nobody cares about.1 That critique does not fit results that resolve questions posed by Serre or tied to Millennium problems.7 The stronger objection is about process: who checks the work, who gets credit, and whether results produced by a model nobody else can use are good science.1218

The main lesson for AI in science is that capability now runs ahead of verification. Mathematics has Lean, and even that has gaps.19 Materials science, chemistry and biology rely on slower checks in the physical world. If one model with a single prompt can produce hundreds of plausible research results, the limiting factor in science moves from generating ideas to confirming them. The fields that build verification systems for AI output fastest, from formal proofs to autonomous labs, will be the ones that benefit. The others will be flooded with unchecked claims.