OpenAI Announces Solution to the Navier-Stokes Millennium Prize Problem: 10,000 AI Agents Find Counterexample in 88 Hours That Baffled Mathematicians for Two Centuries

In early September 2026, OpenAI announced the solution to one of the seven “Millennium Prize Problems”—the Navier-Stokes equations, included in 2000 by the Clay Mathematics Institute in a list of unsolved problems carrying a one-million-dollar reward. According to the company, its artificial intelligence system, which internally exhibits signs of Artificial General Intelligence (AGI), proved through a specific example that the Navier-Stokes equations under certain conditions generate solutions physically impossible in reality: in finite time, a vortex forms in a fluid where the flow velocity tends to infinity. The result was formalized in the Lean programming language, which allows for automated verification of mathematical proofs, giving the conclusion additional weight according to experts. The announcement sparked an intense discussion in the scientific community about what the role of the human mathematician is now and what the point of doing science is if an algorithm finds the key answers.

Two Centuries of Chaos in a Formula

The Navier-Stokes equations describe the motion of viscous fluids and gases—from airflow around an airplane wing to river currents and atmospheric vortices. Nearly two hundred years ago, French engineer Claude-Louis Navier and Irish mathematician George Gabriel Stokes attempted to combine all phenomena occurring during the interaction of fluid particles into a single mathematical apparatus: pressure, resistance, acceleration, external forces. The researchers relied on Newton's second law—"force equals mass times acceleration"—and concluded that to describe motion, it is sufficient to specify velocity and pressure at every point of the occupied volume. However, no generation of mathematicians has ever managed to prove that these equations always yield correct, smooth solutions in three-dimensional space. This was precisely the essence of the “Millennium Problem”.

88 Hours, 10,000 Agents, and 300 Billion Tokens

According to OpenAI, the solution was obtained during an 88-hour “assault” involving approximately 10,000 AI agents working simultaneously. Throughout the experiment, the system sent nearly 4.9 million messages and generated about 300 billion output tokens; the Navier-Stokes task itself accounted for 2.7 million messages and roughly 130 billion tokens. Different groups of agents explored their own approaches, and the most promising ideas were combined via the Codex AI agent. The company emphasized that it used an internal model “significantly more capable” than the Astra system, whose training began on August 28, 2026. The strategy was phased: first, the agents attacked a simplified version—the Euler equations for an ideal fluid without viscosity. After 50 hours of work by 1,000 agents, a solution was found. Following this, 10,000 agents were deployed to tackle the full Navier-Stokes problem, and the next day the result was formalized in Lean.

Millions of Dollars for a Proof

The project turned out to be orders of magnitude more expensive than OpenAI's previous mathematical experiments. In the previous phase, the Astra system achieved 10 breakthroughs in other problems at a cost of about $2,000. Work on Navier-Stokes, according to OpenAI Director of Research Mark Chen, cost “millions of dollars.” An independent estimate by Kartik Duraisamy of the University of Michigan, who is preparing a special project to track computing resources, aligns with this figure: if OpenAI's tools were used at retail prices, the cost would be around $6 million, while actual computing power expenses were roughly $1 million—which, as Duraisamy notes, “matches the exact prize amount for solving the millennium problem.”

“Such a Pace of Progress Must Be Taken Entirely Seriously”

OpenAI Chief Scientist Jakub Pachocki drew a sharp parallel at the company's press event with the level of capabilities a year ago: “Just a year ago, we were only figuring out whether AI models could compete with high schoolers in math olympiads. Now the situation is different.” According to him, solving the Navier-Stokes problem is “an evaluation of a system possessing general-purpose intelligence,” and the pace of progress demonstrated by the company “must be taken entirely seriously.” Already in early October 2026, OpenAI announced the resolution of hundreds of mathematical problems, including the so-called quasi-hypothesis, pointing to a systemic rather than isolated breakthrough. Meanwhile, a debate has ignited in the scientific community: some researchers speak of the “impending collapse” of classical mathematics as an independent discipline, while others emphasize that formalization in Lean and the need to interpret results preserve a key role for humans in problem formulation and evaluating their physical meaning.