OpenAI announced Tuesday that an internal artificial intelligence system has produced a solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems posed by the Clay Mathematics Institute in 2000.

The proof demonstrates that the three-dimensional Navier-Stokes equations, which describe the motion of fluids such as air and water, can develop a singularity in finite time under certain conditions. An initially smooth fluid at rest, subject to a smooth force, develops a vortex that spirals inward and elongates while keeping total energy finite. The result resolves statements C and D in the official problem formulation and includes both an analytical writeup and a formalization in the Lean theorem-proving language.

OpenAI researchers used an unreleased model significantly more capable than GPT-6 Astra, directing approximately 10,000 autonomous AI agents on the task. The effort required 88 hours and produced nearly 3 million messages along with 130 billion output tokens. The company estimated the compute cost in the millions of dollars.

The Navier-Stokes equations have governed fluid dynamics for nearly two centuries yet left open whether solutions remain smooth for all time or can break down. Only one of the original seven Millennium Problems has previously been solved by human mathematicians.

OpenAI stated it does not intend to claim the associated $1 million prize. The announcement came amid reports that mathematicians Tristan Buckmaster of New York University and Levent Alpöge of Anthropic had released related work on a simplified Euler equation the previous day. OpenAI denied using any proprietary prompts or unpublished proofs from that effort while acknowledging it could not rule out indirect influence from model training data.

The development marks the most substantial mathematical result achieved primarily through artificial intelligence to date. It highlights rapid progress in AI-assisted research while prompting questions about verification standards and credit in collaborative mathematical discovery.