Engineers say OpenAI’s Navier-Stokes proof won’t change fluid dynamics work anytime soon

On September 8, OpenAI announced that an unreleased internal AI system had produced a proof that the three-dimensional Navier-Stokes equations can develop a singularity in finite time, potentially resolving one of the six remaining Millennium Prize Problems posed by the Clay Mathematics Institute in 2000. The company released a 166-page paper and a formal verification in the Lean proof assistant, though the result still awaits independent expert review.OpenAI+3

What the Proof Claims

The Navier-Stokes equations, which describe the motion of fluids such as air and water, have been used for nearly two centuries in applications ranging from aircraft design to weather forecasting. The long-standing mathematical question was whether smooth solutions to these equations can break down, producing physically impossible infinite velocities.scientificamerican+1

OpenAI says its system constructed a scenario in which a fluid beginning at rest, subjected to a smooth external force, forms a vortex that spirals inward and develops unbounded velocity in finite time — while retaining finite energy. "Our 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," OpenAI computer scientist Ven Chandrasekaran said in a press briefing, as reported by Nature. The company said it does not intend to claim the $1 million prize.nature+3

The computational effort involved roughly 10,000 concurrent AI agents running on a model described as more capable than GPT-6 Astra. The agents reached the result after approximately 88 hours of work beginning September 1, with an additional 17 hours for Lean formalization.thebrighterside+1

A Priority Dispute

The announcement sparked a dispute over mathematical priority. NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge had been making progress on closely related blowup problems using AI tools, including OpenAI's Codex. In a public statement, Buckmaster wrote, "I have not seen OpenAI's proof. I do not know what their model did, or how. I do not know whether our data was used. I am not accusing anyone of anything". The New York Times reported that OpenAI said it was "categorically" impossible for its system to have been influenced by Buckmaster's recent work.nytimes+2

Real-World Implications Remain Distant

Engineers say the result, if confirmed, changes little in the near term. "In short, not much," said Justin Beroz, CEO of engineering firm ReynKo, regarding the effect on practical fluid dynamics work. NYU assistant professor Florian Schaefer noted that the equations are already understood to be an approximation, and the constructed singularity scenario is too contrived to affect real-world applications.scientificamerican

Fields Medalist Terence Tao raised broader concerns about the pace of AI-driven mathematical discovery. "It's a little like going to watch a movie and jumping straight from the first ten minutes to the last ten minutes," Tao told The Brighter Side of News. "Technically, all the plot lines are resolved, but most of the value of the experience was lost". The Clay Mathematics Institute continues to list Navier-Stokes among its unsolved problems, and the proof's formal acceptance remains an open question.popularai+1