On 8 September 2026 OpenAI published On the Navier–Stokes Millennium Prize Problem, with a writeup of the proof and a Lean formalisation. The claim is that the Navier-Stokes equations, starting from a smooth fluid at rest, can develop a singularity in finite time.

The equations describe fluid motion by treating a fluid as a continuous medium rather than a collection of molecules, and they are the same ones underneath wing design, weather forecasting and the calculation of blood flow. The question left open for ninety years was whether that description holds forever.

The announcement arrives in the middle of a credit dispute with Tristan Buckmaster and Levent Alpöge, who published three proofs on neighbouring equations in the same days. I am not going into the dispute. The sources are at the bottom, including Giorgio Gilestro’s reconstruction.

What was proved

The result goes in the direction of breakdown. The system produced an analytical proof, and its formalisation, that a fluid initially smooth and at rest reaches unbounded velocity in finite time, with energy staying finite throughout the dynamics.

The object is a vortex spiralling inward and stretching, its central region shrinking as it speeds up. The technical difficulty is that the breakdown has to arise from the motion of the fluid itself: acceleration, pressure gradients, momentum transport and viscosity all have to grow large and cancel precisely, so that velocity grows without bound while the external force stays smooth.

OpenAI states the physical meaning itself. A real fluid cannot move infinitely fast, so the point where the mathematics blows up is the point where the model stops describing the fluid, and from there on you would have to track the molecules one by one.

Why the external force is not a shortcut

The official statement is worth reading, because this is where it is easy to go wrong. In Fefferman’s formulation for the Clay Mathematics Institute there are four statements. (A) and (B) ask for existence and smoothness on R³ and on the torus R³/Z³, meaning space with periodic boundary conditions, with the force identically zero. (C) and (D) ask for breakdown on the same two domains, and there the text explicitly allows a smooth force f(x,t) alongside the initial data.

OpenAI states that it has established statement C and also D. The forcing therefore does not weaken the result with respect to the Millennium Problem: it sits inside the statement the problem itself provides.

The Euler case has to be kept separate. It is the same question with zero viscosity, and Fefferman’s document calls it open and important while noting it is not one of the seven. There OpenAI’s agents resolved the unforced version, while Tristan Buckmaster and Levent Alpöge published the forced version alongside two further blowup results. These are different things, which is why the two efforts do not overlap.

How it was produced

The figures here are the ones OpenAI states, and they are worth lining up, because this is the part that concerns anyone working with these systems.

The internal model has been in training since 28 August and training is still under way. On 1 September, after hearing rumours that two Millennium Problems had been resolved, they launched an attempt on all the open ones, using coordinated groups of agents with the ability to read from a cached copy of the internet and to run code.

  • The group that resolved Navier-Stokes: on the order of 10,000 concurrent agents
  • Solution reached on Saturday 5 September, about 88 hours after launch
  • Lean formalisation and verification, a further 17 hours, via GPT-6 Astra
  • On Navier-Stokes alone: 2.7 million messages and roughly 130 billion output tokens
  • Across all problems attempted: 4.9 million messages and roughly 300 billion output tokens

The unforced Euler regularity disproof came first, from around a hundred agents in some fifty hours, and it served as the trigger: they moved resources onto Navier-Stokes and handed the agents the Euler resolution as starting material, then used Codex to consolidate the insights of the different groups.

What actually changes

My sense is that propellers, planes, sails, missiles, weather forecasts and even fans will change. It is worth saying by which route, because it is not the obvious one.

It is not the theorem itself. People doing computational fluid dynamics have been solving these equations numerically for decades without knowing whether smooth solutions survive, and they will carry on tomorrow morning exactly as they did yesterday. No engineering office redesigns a propeller because a pathological initial condition leading to infinite velocity exists.

What the theorem does say, and what was conjecture before, is that the continuum model has an edge of its own, and that the edge is reachable from smooth conditions. The mechanism that gets you there is the stretching of a vortex that spirals and accelerates, and it is the same mechanism governing the small scales where cavitation on a blade, separation on a foil and the noise of a fan all live. Knowing where the model ends is the premise for knowing how far to trust a calculation near that edge.

The real route, though, is the method. What decides whether a simulation predicts a sail’s drive correctly is not the equations, which have been known since the nineteenth century, but the turbulence closure models, meaning what you put in place of the scales you cannot resolve. That is an analysis problem of the same family as the one just closed, and it is the same bottleneck in weather forecasting, where how far ahead you can see depends on how convection and boundary-layer turbulence below the grid scale get parameterised. If a system of coordinated agents brings home in 88 hours a question open for ninety years, the closure problems come within range, and those do show up on the propeller, on the sail and in the forecast.

The wind you read by hand

Anyone who teaches sailing reads turbulence without equations. The telltales on the windward side of the main starting to dance, the leech beginning to flutter, the lift dying as the flow separates and the boat sitting down: all of it is felt through the helm before it is seen anywhere.

The cover image is the same physics at ocean scale, a trail of alternating vortices downwind of Madeira. Now someone has proved that the model behind those vortices, pushed in the right place, reaches a point where it describes nothing at all.

In Bertrand Chéret’s Les Voiles the boat is a biplane. One lifting surface works in air and is the sail, the other works in water and is the hull below the waterline. They have to give each other equal and opposite side forces, and since water is about eight hundred times denser than air the one underwater can be far smaller. Same equations, different density and viscosity.

The previous evening’s forecast tells me what wind I will find, the sail turns it into force and the centreboard turns that force into a course. Three steps of the same calculation, and now we know where it ends. Then you go out anyway, you look at the water and you trim.

Cover image: von Kármán vortex street downwind of Madeira, Terra MODIS, 1 December 2002 — Jeff Schmaltz, MODIS Rapid Response Team, NASA/GSFC — public domain — https://commons.wikimedia.org/wiki/File:Vortex_street_near_Madeira_Island,_Dec_1,_2002.jpg