OpenAI claims to have solved Navier-Stokes problem, a major mathematical mystery

A claim big enough to reshape mathematics

OpenAI has put forward an extraordinary claim: that one of its internal AI systems has solved the Navier-Stokes existence and smoothness problem, a celebrated unsolved question about the equations that describe fluids such as air and water [1]. In the company’s account, the proof shows that a smooth three-dimensional incompressible fluid flow can develop a finite-time singularity, meaning the mathematical description allows velocity to become unbounded in a finite amount of time [1].

The announcement matters because Navier-Stokes is not a routine benchmark or an academic curiosity. It is one of the Millennium Prize Problems, the small set of foundational mathematical challenges selected by the Clay Mathematics Institute in 2000, each carrying a $1 million prize for a verified solution [4]. Before OpenAI’s announcement, only one of the seven had been solved [4].

OpenAI’s public materials frame the result not simply as a mathematical paper, but as evidence of a new phase in AI capability. The company says the proof was produced by an internal model “significantly more capable” than GPT-6 Astra, with a large multi-agent system working in parallel [1]. The Guardian reported that about 10,000 AI agents were involved and that the work reached a claimed solution in 88 hours, with a further 17 hours used for Lean verification [3].

If correct and accepted by the mathematical community, the result would be historic twice over: first as a solution to a major problem in fluid dynamics and mathematical physics, and second as a demonstration that frontier AI systems can contribute to research at the highest level of abstraction. But the word “claims” remains essential. OpenAI has released a paper and formal materials, yet the broader community has not had time to validate every argument, definition and formalization pathway [6].

What the Navier-Stokes problem asks

The Navier-Stokes equations are used to model fluid motion. They appear in problems ranging from aircraft design and weather forecasting to blood flow, ocean currents and climate modeling [1][4]. Their power comes from treating a fluid as a continuous medium, rather than tracking every molecule one by one [1].

The Millennium Prize version asks, in simplified terms, whether smooth, physically reasonable initial conditions always lead to smooth solutions in three dimensions, or whether the equations can break down [1]. The breakdown scenario is called “blowup” or a singularity: the equations predict a quantity, such as velocity, becoming infinite in finite time [1].

OpenAI’s proposed answer is negative for global smoothness. The company says its proof constructs a scenario in which a fluid starts from rest, is acted on by a smooth external force, keeps finite kinetic energy, yet develops unbounded velocity before a finite time [2]. The company says this establishes alternatives C and D in the official formulation of the Millennium problem: breakdown on the whole space and on the periodic torus [1][2].

The physical image offered in OpenAI’s explanation is a vortex that spirals inward and becomes increasingly elongated, while its high-speed central region shrinks [1]. The technical challenge is not merely to write down a wild flow that blows up. The force must remain smooth, energy must stay finite, and the large terms in the equation must cancel with enough precision to satisfy the mathematical requirements [1][2].

The proof OpenAI says it has produced

OpenAI released a 166-page paper titled “Finite Time Blowup for Navier-Stokes” [2]. Its abstract states that, for every positive viscosity, the authors construct a solution of the three-dimensional incompressible Navier-Stokes equations that starts from rest and develops unbounded velocity in finite time while maintaining uniformly bounded kinetic energy [2].

The paper’s main theorem describes smooth velocity and pressure fields on three-dimensional space up to the singular time, a compactly supported smooth force, bounded kinetic energy, and an unbounded limit superior for the velocity norm as time approaches the blowup moment [2]. In plain language, OpenAI is claiming a mathematically controlled breakdown: the equation’s own dynamics produce a singularity, not a trick caused by inserting an already singular force [2].

OpenAI says it also released a Lean formalization of the proof [1]. Lean is a theorem-proving environment used to encode mathematical statements and check formal arguments. In principle, a correct Lean proof can remove some ambiguity from verification, because it forces definitions and logical steps into machine-checkable form. In practice, mathematicians still need to inspect whether the formalized theorem exactly matches the intended Millennium Prize statement, whether the translation from paper to formal code is faithful, and whether all dependencies are acceptable.

That is why the announcement should be read as the beginning of the verification stage, not its end. Anadolu Agency noted that the claim will require scrutiny by the wider mathematical community before the problem can be considered definitively settled [6]. The Washington Post similarly reported that OpenAI’s technical paper will now be closely read by mathematicians around the world [5].

How OpenAI says the discovery happened

The company says it began training a new internal model on August 28 and launched an effort on September 1 after hearing rumors that two Millennium Prize problems had been resolved [1]. It then assigned groups of agents to the remaining Millennium problems and other high-impact problems, prompting them with multiple variants of each problem statement [1].

For Navier-Stokes, OpenAI says the system explored both the “regularity” routes that would prove solutions stay smooth and the “breakdown” routes that would disprove smoothness [1]. The company says one related easier target was the Euler equation, the zero-viscosity cousin of Navier-Stokes, and that its agents first resolved an unforced Euler regularity question [1]. After that, OpenAI shifted more resources toward Navier-Stokes [1].

According to OpenAI, the Navier-Stokes group involved roughly 10,000 concurrent agents, and across all attempted problems the systems sent 4.9 million messages and produced about 300 billion output tokens [1]. For the Navier-Stokes effort itself, OpenAI says the agents sent 2.7 million messages and used about 130 billion output tokens [1]. The scale is striking: this was not a single chatbot producing a proof in a conversation, but a large orchestrated search-and-verification process.

The company says the agents reached the result on September 5, about 88 hours after launch, and that Lean formalization and verification took another 17 hours using GPT-6 Astra [1]. Moneycontrol reported that OpenAI executives described the compute cost as running “in the millions of dollars,” underlining that this kind of AI-assisted mathematics currently remains a resource-intensive enterprise [7].

The credit controversy

Almost immediately, the mathematical claim became entangled with a dispute over timing, credit and the use of AI tools by outside researchers. OpenAI says its effort began after rumors that it later realized were related to work by Levent Alpöge, an Anthropic employee, and Tristan Buckmaster, a professor of mathematics at New York University [1].

Buckmaster and Alpöge had been working on related fluid-dynamics questions. According to OpenAI, after it completed its proof and Lean verification on September 6, it reached out to them because it believed they might also have a Navier-Stokes solution, then learned that their result concerned the forced Euler problem rather than the full Navier-Stokes problem [1]. OpenAI says it recognizes their priority on forced Euler and congratulates them on that achievement [1].

The controversy centers on whether OpenAI’s route to the problem may have been influenced by information about the outside researchers’ work, and whether private use of OpenAI tools could have indirectly affected the company’s models. The Guardian reported that Buckmaster had concerns because work in progress had been stored in OpenAI’s Codex model and might therefore have been visible to OpenAI systems [3]. OpenAI denies that its researchers or agents saw the pair’s work before public release and says no specific user data was accessed to solve the problem [1].

At the same time, OpenAI acknowledged a narrower uncertainty: it said it could not rule out that de-identified data derived from the researchers’ use of its products helped improve its models [1]. Axios described this as a core trust issue for AI-assisted science: whether researchers can safely use frontier-lab tools while working on unpublished discoveries [8].

Why the announcement matters even before final validation

There are two separate questions now. The first is mathematical: is the proof correct, and does it satisfy the official Millennium Prize formulation? The second is institutional: what norms should govern AI labs that both sell research tools and deploy massive internal systems to compete at the frontier of science?

On the mathematics, independent experts will need time. A formal proof in Lean is important, but it does not automatically settle the sociological process of acceptance. The Clay Mathematics Institute’s prize process has historically required publication, community review and a waiting period before recognition. OpenAI has said it does not intend to claim the $1 million prize [1][3].

On the AI side, the announcement accelerates a debate that has been building for years. If an AI system can generate a credible path through Navier-Stokes, it becomes harder to view frontier models merely as productivity tools. They begin to look like research collaborators, proof search engines and, potentially, competitors to the very scientists who use them.

That does not make the result less impressive if it is correct. It makes the governance question more urgent. Researchers will want clear guarantees about data boundaries, opt-outs, enterprise protections, auditability and credit when commercial AI systems are used in unpublished work. OpenAI’s Navier-Stokes claim is therefore not only a mathematical story. It is a test case for how discovery may work when machines can search faster than humans, but human institutions still decide what counts as proof, priority and trust.

What happens next

The next stage is verification. Mathematicians will read the paper, examine the formalization, compare the statement proved with the official problem, and test whether the argument survives sustained scrutiny. Some will focus on the analytical construction of the vortex and smooth forcing; others will inspect the Lean code and its assumptions.

Until that process concludes, the careful formulation is that OpenAI claims to have solved the Navier-Stokes problem. If the claim holds, September 2026 will be remembered as a turning point in both mathematics and AI. If flaws emerge, the episode will still be a revealing measure of how close frontier systems may be to contributing to the deepest parts of science.

Either way, the announcement has already changed the conversation. Navier-Stokes has long symbolized the gap between equations that work in practice and equations whose deepest behavior remains mathematically mysterious. OpenAI now says an AI system has crossed that gap. The world’s mathematicians must decide whether the bridge is real.

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 solution to Navier-Stokes problem, a major mathematical breakthroughHindustan 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]On the Navier–Stokes Millennium Prize Problem | OpenAISep 8, 2026, 12:00 AM UTC
2. [2]OpenAI claims to have solved maths problem that stumped humans for decades | Mathematics | The GuardianSep 8, 2026, 9:29 PM UTC
3. [3]What Is Navier-Stokes, the ‘Millennium’ Math Problem OpenAI Claims to Have Solved? - The New York TimesSep 8, 2026, 9:20 PM UTC
4. [4]OpenAI claims solution to one of math’s $1 million Millennium Prize problemsSep 8, 2026, 7:15 PM UTC
5. [5]OpenAI says AI model solved one of mathematics' Millennium Prize ProblemsSep 8, 2026, 12:00 AM UTC
6. [6]OpenAI's historic math solution overshadowed by credit controversySep 8, 2026, 4:41 PM UTC
7. [7]FINITE TIME BLOWUP FOR NAVIER–STOKESSep 8, 2026, 12:00 AM UTC
8. [8]OpenAI says AI solved one of math’s hardest problems in 88 hoursSep 8, 2026, 7:27 PM UTC

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