OpenAI says its model broke a 90-year-old math barrier. Checking the proof will take longer

On September 8, OpenAI announced that an internal AI system had produced a solution to the Navier–Stokes existence and smoothness problem, one of the seven Clay Millennium Prize Problems, unresolved for roughly 90 years. The result is a disproof of the smoothness half of the problem: the system proved that a three-dimensional fluid described by the equations can develop a singularity — speeds growing without bound — in finite time, starting smooth and at rest under a smooth force, with energy finite throughout. The model that did the work is unreleased — "significantly more capable than GPT-6 Astra," per OpenAI — and no independent mathematician has vouched for the roughly 100-page proof. What exists today is a claim about what mathematics is true, plus a Lean formalization built so the logic can be checked mechanically: not a checked result.

A 90-year-old question about whether smooth flow can break down

The Navier–Stokes equations apply Newton's second law to a fluid treated as a continuous medium rather than a collection of molecules. They underpin aircraft design, weather forecasting and the study of blood flow, and date to the nineteenth-century work of Claude-Louis Navier and George Gabriel Stokes. In 1934 Jean Leray proved that solutions exist in a generalized sense, but whether they always remain smooth became a central open question. The Millennium Prize formulation is deliberately two-sided: a mathematician can win by proving that smooth solutions always exist, or by exhibiting a smooth, finite-energy situation in which the flow blows up in finite time. OpenAI's system took the second door. The stakes are physical, too: a real fluid cannot move infinitely fast, so a genuine singularity would mark where treating air or water as a smooth continuum stops mirroring reality.

Ten thousand agents, 130 billion tokens, one Sunday

OpenAI says it has been training the model since August 28 and that it has "exhibited unprecedented performance" in its benchmarks, including mathematics. On September 1, after hearing rumors that two Millennium Prize problems had been resolved — rumors it later connected to Levent Alpöge and Tristan Buckmaster's concurrent work on the Euler equations — the company launched an effort across all open Millennium problems. The system coordinated agents with tools such as reading a cached copy of the internet and running code, organized into groups that could communicate; for Navier–Stokes, separate groups were prompted with variants "A" and "B" (which would yield a proof) and "C" and "D" (a disproof).

The scale OpenAI reported:

• The Navier–Stokes group involved on the order of 10,000 concurrent agents
• Resolution arrived Saturday, September 5, about 88 hours after the first agents launched
• Lean formalization and verification took another 17 hours, run by GPT-6 Astra
• The Navier–Stokes effort alone: 2.7 million messages, roughly 130 billion output tokens
• All attempted problems combined: 4.9 million messages, about 300 billion output tokens
• Bonus: about 100 agents resolved the unforced Euler regularity problem in roughly 50 hours

The compute bill is contested: TechCrunch estimated about $22.5 million at current Astra API rates for the 300 billion tokens; Fortune reported OpenAI told reporters roughly $2 million — about a thousand times the ~$2,000 of earlier agentic challenges.

What the proof actually shows

The result establishes statements "C" and "D" of the official Clay formulation: an initially smooth fluid at rest, with a smooth force applied and finite energy throughout, develops a singularity in finite time. The construction is a vortex — a "spinning swirl of fluid," in OpenAI's words, that spirals inward and stretches like spaghetti, shrinking and accelerating while its energy stays finite. The technical difficulty is that the governing terms — acceleration, pressure gradients, momentum transfer, viscosity — must simultaneously grow large and cancel precisely, leaving a smooth external force while velocity grows without bound. The breakdown must emerge from the motion itself, not from an infinite force supplied by hand.

Ven Chandrasekaran, an OpenAI computer scientist, put the physical reading plainly at a press briefing covered by Nature: the proof "does show that there exist fluids which start out perfectly normal, and under the Navier-Stokes equations, actually achieve infinite speed in a finite amount of time" — which, since real fluids cannot do that, suggests the equations may stop mirroring physical reality in some circumstances. Two caveats keep the result in perspective. The blow-up is forced, requiring a carefully constructed smooth external force, and it changes nothing about how engineers use the equations for aircraft or pipelines. OpenAI also says it does not intend to claim the Millennium Prize. Separately, its agents resolved the unforced regularity problem for the Euler equations, the zero-viscosity limit — the same problem Caltech's Anima Anandkumar and collaborators tackled with a physics-informed neural network rather than a language model.

An exciting day, with the fine print

Mathematicians greeted the announcement with enthusiasm, and with the restraint that a 100-page, machine-generated proof invites.

"It is certainly an exciting day, as we contemplate the announcement of major advances in the human understanding of mathematics." — Martin Bridson, president of the Clay Mathematics Institute

"I think it is a truly remarkable result." — Luis Martínez Zoroa, mathematician at CUNEF University Madrid

OpenAI's Sebastian Bubeck called it "the spectacular culmination of the arc we have seen over the last 12 months" of AI solving progressively harder problems. Terence Tao's "remarkable achievement" verdict on Mastodon, notably, was directed at the Alpöge–Buckmaster Euler work, not this proof, which no prominent mathematician has yet vouched for. The announcement also lands as capability signaling: days after OpenAI's September 6 essay on AI progress and its research-acceleration post, weeks after GPT-6 Astra's launch, and — per The Guardian — as the company prepares for a flotation that could value it near $1 trillion. The model behind the proof is deliberately held back: training continues while OpenAI studies the system. That context does not make the mathematics wrong; it means the announcement's urgency is not purely mathematical.

The independent check that has not happened yet

Nothing has been independently verified in the sense mathematicians mean. Tristan Buckmaster, in direct contact with OpenAI over the concurrent-work controversy — a dispute covered separately in this article — told reporters he had been informed the proof is about 100 pages and has not seen it. Mathematicians contacted by Firstpost pointed to the asymmetry: the Alpöge–Buckmaster Euler result has been released and examined by experts, while OpenAI's proof has not been publicly vetted in a form outsiders have fully checked. Clay's own review process has historically taken years even for shorter human proofs. OpenAI's answer to that gap is the Lean formalization on GitHub, checkable by anyone willing to compile it — the same route by which an outside expert independently confirmed Anthropic's Fermat formalization this month, running the multi-million-line build himself.

Until then, community reaction splits along familiar lines. The main r/singularity thread drew roughly 1,900 points and more than 780 comments (r/MachineLearning: about 590 and 220): some treat the result as near-ASI evidence, others as a niche forced scenario that changes nothing in engineering practice — the physics-skeptic reading our sibling piece explores in depth.

What would settle it

Three checks would move this from claim to accepted mathematics: human review of a 100-page paper; an outside party compiling the Lean formalization and confirming the kernel accepts it and the statement matches Clay's "C"; and release of the model itself, without which the run cannot be reproduced and the cost claims — $2 million or $22 million — stay hearsay. The precedents are cautionary: GPT-5.6's prime-gap proof survived scrutiny largely because an expert wrote out a heuristic exposition of it, and Astra's first FrontierMath Erdős solutions were verified by the benchmark's authors within days. Neither was a 90-year-old open problem. For now, the correct headline is OpenAI's own qualified one: an internal system has produced a candidate solution to a Millennium Problem, and the checking — by humans or by machines — has only just begun.