Note on AI assistance.—This article grew out of an approximately three-and-a-half-hour discussion with ChatGPT, using OpenAI's GPT-5.6 Sol model, on September 15, 2026. I used the discussion to reconstruct the precise mathematical content of the Navier–Stokes Millennium problem, examine the relevant papers and statements, clarify the sequence of results, and organize the exposition presented here. The final interpretation, selection of arguments, and responsibility for the article are mine.
The Mathematics, the Human Lineage, the AI, and the Politics of Credit
In September 2026, an extraordinary claim appeared: an internal OpenAI system had solved the Navier–Stokes Millennium Prize Problem.
Almost immediately, a second story appeared beside it. Tristan Buckmaster, one of the world’s leading mathematicians working on singularities in fluid equations, published a statement describing closely related work that he and Levent Alpöge had been carrying out with extensive help from large language models. Questions were raised about priority, unpublished material placed into AI systems, and even the intrusion of competition between OpenAI and Anthropic into questions of mathematical authorship.
The resulting headlines tend to compress everything into an attractive but misleading story:
AI solved Navier–Stokes, and human mathematicians accused it of stealing their work.
That is not really what happened.
The mathematics is more interesting than that, and the human–AI relationship is considerably more complicated.
The first question should therefore not be “who stole what?” It should be:
\[\boxed{\text{What exactly was the Navier–Stokes problem that was solved?}}\]
Only after answering that question does the history of the result—and the controversy around it—make sense.
1. Start with the actual fluid equation
For an incompressible fluid in three spatial dimensions, the Navier–Stokes equations are
\[\partial_t u +(u\cdot\nabla)u = \nu\Delta u-\nabla p+f,\qquad \nabla\cdot u=0,\]
with initial condition
\[u(x,0)=u_0(x).\]
Here \(u(x,t)\) is the velocity field, \(p(x,t)\) is the pressure, \(\nu>0\) is the viscosity, and \(f(x,t)\) is an externally applied force.
Charles Fefferman's official formulation for the Clay Mathematics Institute says explicitly that \(u_0\) and \(f\) are prescribed data, whereas \(u\) and \(p\) are the unknown fields. Setting \(\nu=0\) gives the Euler equations. Clay Mathematics Institute: Navier–Stokes formulation.
This is important because Navier–Stokes is not merely an abstract mathematical problem. At heart it is a problem in fluid mechanics.
The nonlinear term \((u\cdot\nabla)u\) allows the flow to transport and amplify its own structures, whereas \(\nu\Delta u\) describes viscous diffusion and tends to smooth them.
The great question is whether viscosity is always powerful enough to prevent a smooth three-dimensional flow from concentrating itself into a singularity.
2. What does “global smoothness” actually mean?
Local smooth existence is not the mystery.
If the initial velocity \(u_0\) is sufficiently regular, standard PDE theory gives a smooth classical solution for at least some interval
\[0\leq t<T.\]
The question is whether the solution can always be continued indefinitely:
\[0\leq t<\infty.\]
That is what “global” means here: global in time.
A global smooth solution requires \(u,p\in C^\infty\) for all finite times, together with an appropriate finite-energy condition such as
\[\int_{\mathbb R^3}|u(x,t)|^2\,d^3x<C.\]
Fefferman notes that if the maximal classical existence time \(T\) is finite, then the Navier–Stokes velocity necessarily becomes unbounded near \(T\). This is not a behavior that Fefferman imposes by definition. It follows from continuation theory.
If everything remained sufficiently bounded as \(t\to T^-\), local existence theory would let us continue the solution past \(T\). But \(T\) was assumed maximal. Therefore something must lose regularity.
\[\text{regularity remains controlled near }T\Longrightarrow\text{solution extends beyond }T,\]
and hence
\[T<\infty\Longrightarrow\text{regularity breakdown}.\]
Fefferman's official formulation.
3. Fefferman did not formulate one Millennium statement, but four
This point is essential, because much of the public discussion has confused the official Millennium problem with its most famous version.
| Alternative | Space | Force | Required conclusion |
|---|
| A | \(\mathbb R^3\) | \(f=0\) | Every smooth initial flow has a global smooth finite-energy solution. |
| B | Periodic \(T^3\) | \(f=0\) | The analogous global-smoothness result. |
| C | \(\mathbb R^3\) | Smooth \(f\) allowed | Construct smooth data for which no global smooth finite-energy solution exists. |
| D | Periodic \(T^3\) | Smooth \(f\) allowed | Analogous finite-time breakdown. |
Alternatives A and B are existence-and-smoothness theorems. Alternatives C and D are counterexample problems. This is the conceptual key.
4. C is asking for a counterexample
Let us write the universal proposition explicitly:
\[G:\quad \text{Every admissible smooth }(u_0,f)\text{ produces a global smooth finite-energy solution.}\]
Symbolically,
\[\forall (u_0,f),\qquad \exists\,u_{\mathrm{global,smooth}}.\]
Alternative C asks you to show that this universal proposition is false. It is enough to find one particular pair \((u_0^\ast,f^\ast)\) such that
\[\boxed{\text{there is no global smooth finite-energy solution for these data.}}\]
So C really is:
\[\boxed{\text{construct a counterexample to universal global regularity.}}\]
5. But C is not the negation of A
Alternative A says \(f=0\) and asks whether every smooth initial velocity remains smooth forever. Alternative C allows \(f\neq0\). Therefore both A and C could logically be true.
We could eventually discover that
\[\boxed{f=0:\ \text{every smooth Navier–Stokes flow remains regular}}\]
while simultaneously
\[\boxed{f\neq0:\ \text{some very carefully designed smooth driving causes blowup}.}\]
There would be no contradiction.
So the question most physicists have traditionally associated with the Navier–Stokes problem—can an unforced smooth three-dimensional viscous fluid spontaneously form a finite-time singularity?—remains open.
OpenAI's claimed result establishes C and D, not A or B. OpenAI, Finite Time Blowup for Navier–Stokes.
Thus we should distinguish
\[\boxed{\text{The official Millennium formulation has apparently been resolved}}\]
from
\[\boxed{\text{the famous unforced regularity problem has been resolved}.}\]
The second statement is false.
The Clay Mathematics Institute has used cautious language, saying that the problem has “apparently been settled” and stressing that verification and attribution will be deliberately unhurried. Clay Mathematics Institute announcement.
6. What OpenAI actually claims to have constructed
The paper is entitled Finite Time Blowup for Navier–Stokes. Strikingly, the author printed on the paper is simply
\[\boxed{\text{OPENAI}}.\]
Its Theorem 1.1 states that for every \(\nu>0\) there exist a smooth compactly supported force \(f\), and smooth velocity and pressure fields \(u,p\) defined for \(0\leq t<1\), satisfying
\[\partial_tu+(u\cdot\nabla)u-\nu\Delta u+\nabla p=f,\qquad \nabla\cdot u=0,\]
with the remarkably simple initial condition
\[u(x,0)=0.\]
Thus the fluid begins completely at rest.
The solution has bounded kinetic energy,
\[\sup_{0\leq t<1}\|u(t)\|_{L^2}<\infty,\]
but
\[\limsup_{t\to1^-}\|u(t)\|_{L^\infty}=\infty.\]
Consequently there can be no globally smooth finite-energy solution with the same initial data and the same force. That last conclusion is exactly Fefferman C.
7. Finite energy does not mean finite maximum velocity
How can \(|u|\to\infty\) while kinetic energy remains bounded? Because kinetic energy is an integral:
\[E=\frac12\int |u|^2\,d^3x.\]
A function can become arbitrarily large on an arbitrarily small region while its integral remains finite.
A crude example is a sequence of velocity fields whose magnitude is \(U_n=n\) inside a region of volume \(V_n=n^{-3}\). Then
\[\|u_n\|_\infty=n\to\infty,\]
but
\[\|u_n\|_2^2\sim U_n^2V_n=n^2n^{-3}=n^{-1}\to0.\]
Infinite height can be compensated by shrinking width. This is essentially what happens dynamically in the claimed Navier–Stokes solution.
8. The shrinking-vortex scaling
Define \(\tau=1-t\). As the blowup time approaches, \(\tau\to0^+\).
The OpenAI construction has a shrinking vortex core with radial size
\[\ell_r\sim\tau^{1/2}\]
and axial size
\[\ell_z\sim\tau^{1/2-h},\qquad 0<h<\frac1{100}.\]
Therefore
\[V_{\rm core}\sim\ell_r^2\ell_z\sim\tau^{3/2-h}.\]
The characteristic large velocity components scale as
\[U\sim\tau^{-1/2-h},\]
so \(U\to\infty\).
Now compute the kinetic energy carried by this core:
\[E_{\rm core}\sim U^2V_{\rm core}\sim\tau^{-1-2h}\tau^{3/2-h}=\tau^{1/2-3h}.\]
Since \(h<1/100\), we have \(1/2-3h>0\). Thus
\[\boxed{E_{\rm core}\to0}\]
while simultaneously
\[\boxed{U_{\max}\to\infty}.\]
The singularity is not an explosion of total energy. It is an extreme concentration of motion.
9. Why does the singularity occur at \(t=1\)?
There is no spatial boundary involved. The “boundary” is simply the end of the smooth time interval.
The elementary function
\[g(t)=\frac1{1-t}\]
is perfectly smooth for every \(t<1\), but \(g(t)\to\infty\) as \(t\to1^-\). It therefore cannot be smoothly extended through \(t=1\).
The same idea applies to the velocity field. For every fixed \(t<1\), \(u(x,t)\) is smooth. But along points approaching the spatial origin, the velocity becomes arbitrarily large as \(t\to1^-\). The choice \(t=1\) is just a convenient normalization of the finite blowup time.
10. Why “limsup”?
The theorem states
\[\limsup_{t\to1^-}\|u(t)\|_\infty=\infty.\]
This means that arbitrarily close to \(t=1\), the velocity norm reaches arbitrarily large values. Equivalently, there are times \(t_n\to1\) such that
\[\|u(t_n)\|_\infty\to\infty.\]
The norm need not diverge monotonically.
11. The apparently strange role of the force \(f\)
Normally we think of \((u_0,f)\) as the input and solve for \((u,p)\). So why does the construction appear to do the opposite?
Because C is a counterexample problem. We are free to construct the bad input.
For a divergence-free velocity \(u\) and pressure \(p\), define the residual
\[R[u,p]=\partial_tu+(u\cdot\nabla)u-\nu\Delta u+\nabla p.\]
Then set
\[f=R[u,p].\]
The Navier–Stokes equation automatically holds. But that alone proves nothing, because for a generic singular \(u\), the resulting \(f\) will also be singular.
The difficult requirement is
\[\boxed{u\text{ becomes singular while }f\text{ remains }C^\infty.}\]
The construction adds carefully designed oscillatory and correction fields so that the singular pieces of the residual cancel and the final force extends smoothly through the blowup time.
The logical construction therefore runs backwards:
\[u,p\longrightarrow f.\]
But once \(f\) has been obtained, freeze it. Call it \(f_*(x,t)\). Then the physical initial-value problem is again
\[(u_0=0,f_*)\longrightarrow u,\]
and the already-constructed \(u\) is an exact solution.
12. What exactly is the counterexample contradicting?
Not Navier–Stokes itself: the singular velocity field satisfies Navier–Stokes.
Not conservation of energy: the total kinetic energy remains bounded.
And not alternative A: A concerns \(f=0\).
The counterexample contradicts the universal proposition
\[\boxed{\text{smooth initial conditions + smooth forcing}\Rightarrow\text{global smooth classical flow}.}\]
The claimed result says that this implication is false.
There exists a smooth force, acting on a fluid initially at rest, for which the classical velocity field becomes singular in finite time.
13. Do they actually write \(u(x,t)\) down?
Yes and no.
The theorem is written existentially: there exist \(u,p,f\). But the proof is constructive.
This is not a nonconstructive argument that merely says some mysterious solution must exist. On the other hand, the answer is not a simple elementary formula such as
\[u(x,t)=\frac{x}{1-t}.\]
The solution is built from self-similar profiles, similarity coordinates, vector potentials, oscillatory pulses, correction fields, cutoffs, and an iterative hierarchy designed to cancel the singular residual.
So the right description is
\[\boxed{\text{constructive existence, but not a simple closed-form solution}.}\]
And \(p\) is indeed the pressure.
14. Before OpenAI: Córdoba and Martínez-Zoroa
The OpenAI result did not appear in an intellectual vacuum.
Buckmaster himself says that the basic idea of the entire program belongs to Diego Córdoba and Luis Martínez-Zoroa. Buckmaster's statement.
In 2023 Córdoba and Martínez-Zoroa constructed finite-time blowup for forced three-dimensional incompressible Euler. Their forcing was regular but not \(C^\infty\); roughly speaking, the mechanism arranged successive amplification of increasingly concentrated vortex structures. Córdoba–Martínez-Zoroa, arXiv:2309.08495.
The conceptual mechanism was already present:
\[\text{large-scale strain}\to\text{amplification at smaller scales}\to\text{concentration}\to\text{singularity}.\]
15. Hypodissipative Navier–Stokes: approaching viscosity gradually
Córdoba, Martínez-Zoroa and Fan Zheng then pushed the method from Euler toward a dissipative fluid equation.
Ordinary Navier–Stokes contains \(-\nu\Delta u\), which damps high-frequency modes like \(|k|^2\). A hypodissipative model uses weaker fractional dissipation, for example \(|\nabla|^\alpha u\) with \(\alpha<2\).
Ordinary Navier–Stokes corresponds, in this notation, to \(\alpha=2\).
Córdoba, Martínez-Zoroa and Zheng obtained forced finite-time blowup for small positive \(\alpha\), below approximately \(0.093\). Córdoba–Martínez-Zoroa–Zheng, arXiv:2407.06776.
Conceptually, the route was
\[\text{Euler}\longrightarrow\text{weak dissipation}\longrightarrow\boxed{\text{ordinary Navier--Stokes}}.\]
16. Where Boussinesq enters
Another neighboring system is the Boussinesq equation. Schematically,
\[\partial_tu+(u\cdot\nabla)u+\nabla p=\theta e_z,\]
together with an evolution equation for a scalar field \(\theta\), often interpreted as temperature or density variation, and \(\nabla\cdot u=0\).
The scalar produces buoyancy. Physically, this is the sort of coupling involved in convection. Mathematically, Boussinesq provides another laboratory in which vorticity amplification and singularity mechanisms can be tested.
It is not one of Fefferman's alternatives. It is a neighboring physical PDE in which the singularity mechanism was developed and tested.
17. Buckmaster and Alpöge enter the story
Tristan Buckmaster is a professor of mathematics at NYU's Courant Institute whose research focuses heavily on singularity formation in fluid equations. His earlier work with Vlad Vicol on nonuniqueness of weak Navier–Stokes solutions was recognized with a 2019 Clay Research Award. Tristan Buckmaster, NYU.
Buckmaster and Levent Alpöge took the Córdoba–Martínez-Zoroa program as their starting point and used several LLM systems extensively to push it further.
Buckmaster says their collaboration was personal rather than an institutional Anthropic project. They used Anthropic's Claude as well as OpenAI tools, including Codex. Buckmaster's statement.
Their major advance was essentially
\[\text{rougher forcing}\longrightarrow\boxed{\text{smooth forcing}}.\]
By August 15 they had smooth-forced blowup results for Boussinesq and three-dimensional incompressible Euler. They subsequently verified the Euler argument in Lean on August 22. Buckmaster also reported that they believed they had a hypodissipative Navier–Stokes result, though it was not yet ready for release.
They had therefore not solved Fefferman C, but they had moved very close to the relevant frontier.
18. Euler versus Navier–Stokes
Euler is
\[\partial_tu+(u\cdot\nabla)u=-\nabla p+f,\qquad\nabla\cdot u=0,\]
whereas Navier–Stokes is
\[\partial_tu+(u\cdot\nabla)u=\nu\Delta u-\nabla p+f.\]
So
\[\boxed{\text{Euler}=\text{Navier--Stokes with }\nu=0.}\]
The extra viscous term \(\nu\Delta u\) is not a minor correction. It continually smooths small-scale velocity structure. This is why the jump from Euler blowup to fully viscous Navier–Stokes was decisive.
19. What the OpenAI system then did
OpenAI says that on September 1 it heard rumors that major open mathematical problems had been solved and decided to test a new internal model on all the remaining Millennium problems and several related problems. Separate agent groups were assigned versions A, B, C and D. OpenAI's account.
The company also assigned agents easier neighboring questions. One of those was Euler.
Approximately 100 agents worked for around 50 hours and produced what OpenAI describes as an unforced Euler blowup result:
\[\nu=0,\qquad f=0.\]
That is in one respect stronger than Buckmaster–Alpöge's Euler theorem, because their Euler result used external forcing. But Euler is not a Millennium Prize Problem.
At this stage humans made an important strategic decision. OpenAI says:
“Once we saw the Euler solution, we thought that Navier–Stokes was the most promising problem.”
Resources were shifted away from the other Millennium problems, and the Euler result was supplied to the Navier–Stokes agents. Groups were cross-pollinated using Codex to consolidate useful intermediate discoveries.
The Navier–Stokes effort involved on the order of \(10^4\) concurrent agents. OpenAI reports approximately \(2.7\) million messages and \(130\) billion output tokens for the Navier–Stokes part alone.
The claimed solution was reached after approximately 88 hours, followed by another 17 hours of Lean formalization and verification. OpenAI's account.
This is not the ordinary picture of a mathematician using ChatGPT. It is something closer to industrialized mathematical search.
20. Human versus AI is therefore the wrong picture
Both sides were already deeply hybrid.
Buckmaster and Alpöge were doing
\[\boxed{\text{human mathematical research}+\text{intensive LLM assistance}.}\]
OpenAI was doing
\[\boxed{\text{human research direction}+\text{thousands of AI agents}+\text{massive parallel compute}+\text{formal verification}.}\]
Humans chose the target, decided to explore Euler, redirected compute when Euler succeeded, and organized cross-pollination between agent groups. The agents appear to have carried out an extraordinary fraction of the detailed mathematical exploration and proof production.
The historically interesting contrast is therefore better described as
\[\boxed{\text{AI-integrated academic mathematics}}\]
versus
\[\boxed{\text{industrial-scale AI mathematics}.}\]
21. What is Lean?
Lean is not a fluid simulator and it is not Mathematica.
Mathematica is primarily a symbolic and numerical computational environment. Lean is a formal theorem prover.
Mathematical definitions, hypotheses and conclusions are represented in a precise logical language. The proof is converted into a formal proof object, and Lean's small trusted kernel checks that every step follows from the permitted definitions, axioms and previously proved statements. Lean reference manual.
A useful comparison is
\[\text{Mathematica}\approx\text{very powerful calculator},\]
whereas
\[\text{Lean}\approx\text{logical compiler plus extremely pedantic referee}.\]
Lean can establish that the formal theorem statement really follows from the formal proof. Humans still need to check that the formal theorem is the theorem they intended to state. Lean: validating proofs.
This creates a genuinely new possibility: machine verification can precede comfortable human conceptual understanding.
22. The strange authorship: “OPENAI”
The 166-page Navier–Stokes manuscript does not list a collection of mathematicians. Its author is simply
\[\boxed{\text{OPENAI}}.\]
The associated OpenAI webpage likewise gives “Author: OpenAI.” OpenAI's Navier–Stokes page.
This is one of the strangest aspects of the episode.
It is understandable that OpenAI wants to emphasize that an internal AI system generated much of the proof. But there is obviously a human research team behind the experiment.
Physics already has collective authorship: “ATLAS Collaboration,” for example. But ATLAS denotes an identifiable scientific collaboration whose human membership and institutional responsibility are explicit. “OpenAI” is an entire corporation.
Scientific authorship traditionally combines at least three things:
\[\text{intellectual contribution},\qquad\text{credit},\qquad\text{responsibility}.\]
AI-generated research makes all three suddenly difficult to assign.
23. Now the controversy
Once the mathematics is understood, the political dispute becomes much easier to state accurately.
It is not established that OpenAI copied a completed Buckmaster–Alpöge Navier–Stokes proof. No such proof existed.
Buckmaster and Alpöge had a smooth-forced Euler result and nearby progress.
The more precise issue is that OpenAI learned that highly credible mathematicians had achieved something important in this particular region of fluid PDEs, and this information helped trigger an enormous AI search.
OpenAI itself says its September 1 effort began after hearing the rumor connected with Buckmaster and Alpöge. OpenAI's account.
Buckmaster's concern was understandable because the smooth-forcing route toward Fefferman C and D was very unusual. According to his statement, when he heard that OpenAI's result was specifically “forced” Navier–Stokes with smooth forcing, he regarded that as a major warning signal because it was precisely the route pioneered by Córdoba and Martínez-Zoroa and then pursued privately by himself and Alpöge. Buckmaster's statement.
There was an additional complication: Buckmaster and Alpöge had been using OpenAI products and putting their drafts into Codex.
OpenAI subsequently stated that an internal investigation found that Buckmaster's Codex prompts from the preceding two months could not have influenced the solving system, including through training, and that its proofs differ significantly from the Buckmaster–Alpöge work.
Buckmaster himself is careful: he says that he does not know whether their data were used and that he is not accusing anyone of having done so.
So “OpenAI stole the proof” goes substantially beyond the currently available evidence.
24. The more troubling part may be corporate competition
According to Buckmaster's account, the subsequent discussion turned toward authorship and corporate affiliation.
He says that one proposal was that he alone write a paper presenting the OpenAI Navier–Stokes result after publishing his Euler work, while Alpöge would be excluded. Buckmaster reports that Sébastien Bubeck wanted Alpöge removed and explicitly referred to the complication that Alpöge works at Anthropic. Buckmaster says he rejected the proposals. Buckmaster's statement.
These are Buckmaster's accounts of private conversations and should therefore be presented as such, not as independently established facts.
But if his account is substantially accurate, then something historically unusual happened.
Buckmaster and Alpöge had not begun as two agents of rival corporations. Buckmaster describes their work as a personal mathematical collaboration, using models from both companies.
Yet because Alpöge works for Anthropic, a scientific collaboration was suddenly reframed through the lens of
\[\boxed{\text{OpenAI versus Anthropic}.}\]
Corporate rivalry had entered mathematical attribution.
That is a more precise concern than simply shouting “plagiarism.”
25. Who deserves credit?
The history is already too complicated for a single heroic-author narrative.
The conceptual genealogy looks approximately like
\[\boxed{\text{Córdoba + Martínez-Zoroa}\to\text{Córdoba + Martínez-Zoroa + Zheng}\to\text{Buckmaster + Alpöge + LLMs}\to\text{OpenAI researchers + industrial AI system}.}\]
Córdoba and Martínez-Zoroa deserve recognition for developing the forced-blowup program and its cross-scale amplification mechanism.
Córdoba, Martínez-Zoroa and Zheng demonstrated that related ideas survive weak dissipation.
Buckmaster and Alpöge pushed the program to smooth forcing for important fluid systems including Euler, while using LLMs as genuine research partners.
OpenAI's system then claims to have crossed the final gap to ordinary positive-viscosity Navier–Stokes and thereby produced Fefferman C and D.
OpenAI's mathematical paper acknowledges the Córdoba–Martínez-Zoroa lineage, and OpenAI publicly recognizes Buckmaster–Alpöge's priority on forced Euler.
How the community will ultimately describe the historical credit remains unsettled.
26. The Deep Blue–Kasparov moment
Buckmaster called the episode a “Deep Blue–Kasparov moment.”
For younger readers, the reference is to 1997, when IBM's Deep Blue defeated reigning world chess champion Garry Kasparov in a match. It became the iconic demonstration that a machine could outperform the best human in a prestigious intellectual activity.
The analogy is imperfect but powerful.
Chess is a closed game with explicit rules and a well-defined search space. Frontier mathematics was supposed to be different. It seemed to require open-ended conceptual invention: choosing fruitful definitions, discovering unexpected analogies, finding new mechanisms and deciding which of infinitely many mathematical directions is worth pursuing.
The Navier–Stokes episode suggests that sufficiently capable reasoning models, multiplied into thousands of interacting agents and backed by formal verification, may now be entering that territory.
But there is an important difference from Kasparov: the fertile conceptual region was opened by human mathematicians. Humans developed the forced-blowup program, identified neighboring systems and stepping stones, chose targets, and redirected the AI search when Euler succeeded.
What changed was the scale at which the nearby mathematical possibility space could be explored.
27. What I think is really new here
The superficial story is
\[\text{AI solved a famous problem}.\]
The deeper story may be
\[\boxed{\text{mathematical research itself has acquired a new industrial scale}.}\]
Buckmaster and Alpöge represent one possible future:
\[\text{one or two mathematicians}+\text{powerful AI collaborators}.\]
OpenAI represents another:
\[\text{human strategic direction}+10^4\text{ reasoning agents}+\text{massive computation}+\text{formal proof verification}.\]
And these two modes collided almost immediately with traditional questions of priority, authorship, unpublished work and institutional competition.
28. What has and has not been solved
The most careful final statement is therefore this.
OpenAI has released a 166-page constructive proof, together with a Lean formalization, claiming that for every positive viscosity one can construct a perfectly smooth external force acting on a fluid initially at rest such that the resulting classical Navier–Stokes velocity becomes unbounded in finite time while the kinetic energy remains bounded. If correct, this establishes Fefferman alternatives C and D and therefore resolves the official Clay Millennium formulation. OpenAI paper.
It does not establish that unforced Navier–Stokes flow blows up.
Alternatives A and B remain open.
In particular,
\[\boxed{f=0:\quad\text{global smoothness versus spontaneous finite-time singularity}}\]
—the version of the problem most physicists have had in mind for decades—has not been settled.
It means the 2026 result may simultaneously be
\[\boxed{\text{a legitimate resolution of a Millennium Prize Problem}}\]
and
\[\boxed{\text{not the end of the most famous Navier–Stokes regularity question}.}\]
That apparent paradox comes directly from the way Fefferman formulated the original challenge.
29. The broader lesson
There is a temptation to interpret this episode either triumphantly—“AI has replaced mathematicians”—or defensively—“AI merely copied human mathematics.” Neither description seems adequate.
The actual history looks much more interesting.
Human mathematicians discovered a new route through the landscape of fluid singularities. Other mathematicians, working intimately with LLMs, accelerated that route. An industrial AI system was then pointed toward the same region and appears to have crossed a major remaining gap at extraordinary speed.
Formal theorem proving supplied a mechanism for checking arguments that may initially be too complicated even for humans to comfortably read.
And almost immediately, the institutions surrounding the machines began struggling with questions mathematics has traditionally answered through human authorship: Who discovered this? Who deserves credit? Who is responsible for the proof? What counts as independent work? What happens when a researcher places an unpublished idea into an AI system owned by a company that is itself doing research? And what does authorship mean when the paper itself says merely:
\[\boxed{\text{OPENAI}?}\]
The Navier–Stokes result may eventually be remembered for the fluid mechanics.
But it may equally be remembered as the moment when mathematics discovered that AI was no longer merely helping researchers calculate, search the literature, or polish proofs.
It had entered the research process itself.
And once that happened, the old boundaries between mathematician, tool, collaborator, institution and author began to dissolve.
That may be the real Deep Blue–Kasparov moment.
Note on AI assistance.—This article grew out of an approximately three-and-a-half-hour discussion with ChatGPT, using OpenAI's GPT-5.6 Sol model, on September 15, 2026. I used the discussion to reconstruct the precise mathematical content of the Navier–Stokes Millennium problem, examine the relevant papers and statements, clarify the sequence of results, and organize the exposition presented here. The final interpretation, selection of arguments, and responsibility for the article are mine.
