OpenAI claims AI swarm solved 90-year-old Navier-Stokes Millennium Prize problem

OpenAI has claimed to solve the Navier-Stokes existence and smoothness problem, resolving a mathematical mystery that has persisted for 90 years. The breakthrough targets one of the seven Millennium Prize Problems, a set of challenges that carry a $1 million award from the Clay Mathematics Institute.

The solution was generated by an internal AI model utilizing a massive network of approximately 10,000 autonomous agents operating in parallel. According to OpenAI, these agents reached the resolution on Saturday, September 5, roughly 88 hours after the initial launch. To support the claim, OpenAI released a 165-page proof alongside a formal verification written in the Lean programming language to ensure the logical validity of the argument. The computing costs for this 88-hour operation were reported to be in the millions of dollars.

The nature of the breakdown

The Navier-Stokes equations are the fundamental mathematical descriptions of how liquids and gases move, serving as the bedrock for fields ranging from aircraft design to climatology. For nearly a century, mathematicians have debated whether smooth 3D fluid motion always remains smooth or if it can "blow up," meaning the equations eventually produce nonsensical results. OpenAI's proof identifies a specific case of "finite-time blowup," a singularity where a vortex spins faster and faster until fluid speeds grow without bound, even while the total energy remains finite.

A shift in mathematical research

This event signals a potential paradigm shift in how the world's most difficult theoretical problems are approached. By moving from human-led proofs to AI-generated, formally verified solutions, the industry is seeing the emergence of "agentic swarms" capable of brute-forcing complex logic that has resisted human effort for decades. OpenAI described the internal model used for this result as being significantly more capable than GPT-6 Astra. Timothy Gowers, a recipient of the Fields Medal, described the development as "undeniably a big moment" for the field.

What comes next

While the Lean formalization provides a layer of machine-verified certainty, the mathematical community must now scrutinize the 165-page proof to determine if the solution holds up to peer review. The primary focus will be on whether the identified singularity truly solves the existence and smoothness problem as defined by the Clay Mathematics Institute. If verified, the result would not only secure a million-dollar prize but fundamentally alter the understanding of fluid dynamics and the role of artificial intelligence in pure mathematics.