OpenAI claims solution to Navier-Stokes problem, a major mathematical breakthrough

A claim that could reset modern mathematics

OpenAI has announced what, if validated by the mathematical community, would be one of the most consequential mathematical breakthroughs of the century: a proposed solution to the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute’s Millennium Prize Problems [1]. The company says the proof was generated by an internal model “significantly more capable” than GPT-6 Astra and shows that the equations governing fluid motion can develop a singularity in finite time [1].

That wording matters. OpenAI is not merely claiming a better simulation of turbulent fluids, nor a numerical approximation to a familiar engineering problem. It says its system produced an analytical proof, accompanied by a formal proof in Lean, that resolves the Millennium formulation by establishing the “blowup” alternatives in the official problem statement [1]. In practical terms, the claim is that even smooth, finite-energy fluid motion can evolve into a mathematical breakdown in which velocity grows without bound [1].

The announcement immediately drew global attention because Navier-Stokes sits at the intersection of pure mathematics, physics and engineering. The equations describe the motion of fluids such as air, water and blood, and are used in fields ranging from aircraft design to weather forecasting [1]. But for decades, mathematicians have lacked a proof that smooth three-dimensional solutions always remain smooth, or a proof that they can break down. OpenAI says its model has answered the question in the second direction [1].

What OpenAI says it proved

According to OpenAI’s technical account, the proof begins with an initially smooth fluid at rest, applies a smooth force and shows that a finite-time singularity can form while the total energy remains finite [1]. The company describes the constructed solution as a vortex that spirals inward and stretches, with the central region shrinking and speeding up in a way that preserves finite energy while producing unbounded velocity [1].

OpenAI says this result establishes statements “C” and “D” of the Clay formulation, meaning it would resolve the Navier-Stokes Millennium Prize problem by disproving global regularity in the specified setting [1]. The company also says it released both a written proof and a Lean formalization, a machine-checkable format that can help reduce ambiguity in proof verification [1].

Independent reporting described the same central claim: OpenAI released a technical paper on September 8, 2026, saying an unreleased AI model had resolved the problem after only days of focused effort, and mathematicians around the world are now expected to scrutinize it closely [2]. That scrutiny is essential. A formalized proof is powerful evidence, but the wider mathematical community will still examine definitions, assumptions, formalization choices and whether the result matches the Clay problem exactly.

For now, the careful description is not “Navier-Stokes is solved” in the ordinary final sense, but “OpenAI claims to have produced a solution, with a Lean-formalized proof, that is entering expert verification.”

How the company says the proof was found

OpenAI’s timeline is unusually detailed. The company says that on August 28 it began training a new internal model with unprecedented benchmark performance, including in mathematics [1]. On September 1, after hearing rumors that two Millennium Prize problems had been resolved, it launched an effort to test the model on all open Millennium problems and several other high-impact mathematical questions [1].

The system used coordinated groups of agents with access to tools, including code execution and a cached version of the internet [1]. OpenAI says the Navier-Stokes effort eventually involved roughly 10,000 concurrent agents, with groups assigned different formulations of the problem so that some pursued global-regularity directions and others pursued blowup directions [1]. The agents first found a related Euler-equation result, after which OpenAI redirected resources toward Navier-Stokes [1].

The company says the Navier-Stokes agents reached a solution on September 5, about 88 hours after the first agents were launched, and that GPT-6 Astra then took an additional 17 hours to carry out Lean formalization and verification [1]. Across the Navier-Stokes work, OpenAI says its agents sent 2.7 million messages and generated about 130 billion output tokens [1].

The scale of the effort has become part of the story. Axios reported that OpenAI executives described the compute cost as being in the “millions of dollars,” with roughly 10,000 agents working on the proof [5]. WIRED similarly reported that OpenAI research chief Mark Chen said the compute required cost “in the millions of dollars” [3]. If the result holds, it will be remembered not only as a mathematical event, but as an early example of frontier AI labs applying industrial-scale computation to a problem traditionally attacked by individuals or small teams.

Why the proof is controversial

The scientific claim is now entangled with a dispute over credit and research privacy. Tristan Buckmaster, a professor at New York University, and Levent Alpöge, an Anthropic employee, had been working on closely related fluid-dynamics problems [5]. OpenAI says its effort began after hearing a rumor related to their work, but says that after completing its own project and Lean verification on September 6, it learned that Buckmaster and Alpöge had a forced Euler result rather than a Navier-Stokes solution [1].

Buckmaster has publicly questioned whether OpenAI’s work may have been accelerated by knowledge of their direction, including through use of OpenAI’s Codex tools during their research [3]. WIRED reported that Buckmaster claimed he asked OpenAI leaders whether the company had accessed Codex logs and that he was told the model “didn’t look up user data,” while he remained concerned about whether training data could have played a role [3]. Axios reported that Buckmaster also alleged OpenAI researcher Sébastien Bubeck pushed an authorship arrangement excluding Alpöge because he worked for Anthropic [5].

OpenAI denies using Buckmaster and Alpöge’s private work to solve the problem. In its own post, the company says that neither its researchers nor its agents saw their work before it was publicly released, and that “no specific user data” was accessed in order to solve the problem [1]. At the same time, OpenAI acknowledged a narrower uncertainty: it said that, while unlikely, it could not rule out that de-identified data derived from their usage of OpenAI products helped improve its models [1]. The Washington Post reported the same distinction: OpenAI said it did not access specific user data, while acknowledging it could not rule out indirect effects from de-identified data [2].

That caveat has widened the issue beyond one proof. The controversy asks whether researchers can safely use commercial AI tools on unpublished ideas when the tool provider may later train powerful internal models or deploy vast agentic systems on the same topics. In mathematics, where priority, authorship and precise intellectual lineage matter deeply, the boundary between “inspiration,” “training influence” and “use of private work” is likely to face much sharper scrutiny.

The Clay Prize and the verification process

OpenAI says it does not intend to claim the $1 million Millennium Prize [1]. The Guardian also reported that mathematicians who solve a Millennium Prize Problem are eligible for a $1 million award, but that OpenAI said it would not seek the prize [4]. This does not remove the need for verification. A prize decision would be only one institutional marker; the more important process is whether experts in partial differential equations accept the proof as correct and as resolving the exact Clay formulation.

The Washington Post reported that OpenAI’s technical paper will now be closely read by mathematicians around the world [2]. That is the next phase. Experts will examine whether the assumptions about smooth forcing, finite energy and the constructed singularity align with the accepted problem statement. They will also check whether the Lean formalization proves the intended theorem rather than a subtly different claim.

Formal verification changes the workflow, but it does not eliminate human judgment. Lean can certify that a theorem follows from definitions inside a formal system. Mathematicians still need to assess whether those definitions encode the problem correctly, whether the translation from paper proof to formal proof is faithful, and whether the claimed connection to the Millennium formulation is justified. If those checks pass, the result would mark a profound shift in both fluid dynamics and AI-assisted discovery.

What it means if the claim holds

If OpenAI’s proof survives review, the consequences will be twofold. First, mathematics would gain a resolution to a problem that has shaped analysis and fluid mechanics for generations. A finite-time blowup proof would show that the Navier-Stokes equations, despite viscosity, can mathematically break down under smooth conditions [1]. That would not make everyday fluid simulations useless, but it would clarify the limits of one of science’s central continuum models.

Second, AI research would have a landmark demonstration of automated or semi-automated mathematical discovery at unprecedented scale. OpenAI frames the result as evidence of rapid progress in frontier models and says it released the work to show what upcoming systems may be capable of [1]. The claim will therefore influence debates over scientific productivity, model safety, access to compute and the governance of AI systems that can operate as large teams of autonomous research agents.

The unresolved question is whether this is the beginning of a new research era or a warning about how that era may unfold. OpenAI’s claim could become a historic proof, a contested priority case, or both. What is already clear is that the Navier-Stokes announcement has moved the debate from abstract predictions about AI doing science to a concrete test: a famous problem, a formal proof, a disputed timeline and a global community now checking every line.

Developments

1. OpenAI claims AI solved Millennium Math Problem in 88 hoursfinance.biggo.com · Sep 9, 2026, 12:35 AM UTC · 9/10
2. OpenAI claims to have solved Navier-Stokes problem, a major mathematical mysteryHindustan Times · Sep 9, 2026, 12:11 AM UTC · 10/10
3. OpenAI agents solve Millennium Prize Problem, winning $1 millionSemafor · Sep 8, 2026, 10:27 PM UTC · 10/10
4. OpenAI claims to have solved a decades-old math problemThe Guardian · Sep 8, 2026, 9:39 PM UTC · 10/10
5. OpenAI claims to have solved a decades-old math problemThe Guardian · Sep 8, 2026, 9:30 PM UTC · 9/10
6. OpenAI claims solution to Navier–Stokes problem; researcher raises questions about dataUA.NEWS · Sep 8, 2026, 9:07 PM UTC · 8/10
7. OpenAI claims to have solved Navier–Stokes problem, researcher questions dataUA.NEWS · Sep 8, 2026, 9:07 PM UTC · 8/10
8. OpenAI claims to have solved Navier-Stokes equations, proof not disclosedThe Next Web · Sep 8, 2026, 8:05 PM UTC · 8/10
9. OpenAI AI Solves Major Math Problem in DaysFrance 24 · Sep 8, 2026, 7:57 PM UTC · 9/10
10. OpenAI claims to have cracked Navier-Stokes, a million-dollar math problemFortune · Sep 8, 2026, 7:52 PM UTC · 8/10
11. OpenAI claims breakthrough in Millennium Prize math problemThe Washington Post · Sep 8, 2026, 7:21 PM UTC · 9/10
12. OpenAI claims solution to one of math’s $1 million Millennium Prize problemsThe Washington Post · Sep 8, 2026, 7:21 PM UTC · 7/10
13. OpenAI claims AI solved Millennium Prize ProblemAnadolu Ajansı · Sep 8, 2026, 6:35 PM UTC · 8/10
14. OpenAI's Next-Gen Model Solves Millennium Navier-Stokes ProblemReddit r/OpenAI RSS · Sep 8, 2026, 6:02 PM UTC · 10/10
15. OpenAI Solves Navier-Stokes Millennium Problem with $15M AI Effortnewscientist.com · Sep 8, 2026, 6:00 PM UTC · 10/10
16. OpenAI AI Solves Navier-Stokes Millennium Prize Problemqz.com · Sep 8, 2026, 5:48 PM UTC · 9/10
17. OpenAI AI claims breakthrough in Navier-Stokes Millennium Prize Problemqz.com · Sep 8, 2026, 5:48 PM UTC · 10/10
18. OpenAI solution to Millennium Prize ProblemReddit r/OpenAI RSS · Sep 8, 2026, 5:31 PM UTC · 8/10
19. OpenAI claims solution to Navier–Stokes Millennium Prize problemReddit r/OpenAI RSS · Sep 8, 2026, 5:30 PM UTC · 7/10
20. OpenAI claims solution to Navier–Stokes Millennium Prize ProblemReddit r/OpenAI RSS · Sep 8, 2026, 5:27 PM UTC · 9/10
21. OpenAI discusses Navier–Stokes Millennium Prize ProblemOpenAI · Sep 8, 2026, 5:20 PM UTC · 8/10
22. What Is Navier-Stokes, the ‘Millennium’ Math Problem OpenAI Claims to Have Solved?The New York Times · Sep 8, 2026, 5:20 PM UTC · 8/10
23. OpenAI Solves Millennium Prize Problem, a Major Math BreakthroughWSJ · Sep 8, 2026, 5:14 PM UTC · 9/10
24. OpenAI Claims to Have Solved a Millennium Prize Math ProblemWSJ · Sep 8, 2026, 5:14 PM UTC · 10/10
25. OpenAI Claims to Have Cracked a Millennium Prize ProblemHacker News - OpenAI · Sep 8, 2026, 5:11 PM UTC · 10/10

Sources from the last 72 hours

1. [1]OpenAI claims solution to one of math’s $1 million Millennium Prize problemsSep 8, 2026, 7:15 PM UTC
2. [2]OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying FoulSep 8, 2026, 7:42 PM UTC
3. [3]OpenAI claims to have solved maths problem that stumped humans for decadesSep 8, 2026, 9:29 PM UTC
4. [4]OpenAI's historic math solution overshadowed by credit controversySep 8, 2026, 4:32 PM UTC
5. [5]On the Navier–Stokes Millennium Prize ProblemSep 8, 2026, 12:00 AM UTC

AI-generated article based on recent web research, then preserved as a dated editorial snapshot.