OpenAI's Navier-Stokes Claim: AI, Mathematics, and the Future of Scientific Discovery

What is OpenAI's Navier-Stokes claim?

On September 8, 2026, OpenAI publicly announced that its artificial intelligence (AI) agents had generated a solution to the Navier-Stokes Millennium Prize Problem, one of the seven most significant unsolved mathematical questions identified by the Clay Mathematics Institute (CMI). The company's blog post detailed that its researchers and AI agents did not directly access specific user data to solve the problem. However, the same post also stated that OpenAI could not definitively rule out the possibility that de-identified data, derived from researchers' interactions with its products, had contributed to improving its underlying models. This claim initiated a debate within the mathematical and AI research communities regarding the ethics of data usage and the nature of intellectual contribution in AI-assisted discovery.

What is the $1 million Navier-Stokes Millennium Prize Problem?

The Navier-Stokes equations, developed in the 19th century, are a cornerstone of fluid dynamics, describing the motion of viscous fluids. These equations are indispensable for modelling diverse phenomena, from the flow of water around a boat and air around an aircraft to the circulation of blood within the human body. The core of the Millennium Prize Problem, established by the CMI in 2000, revolves around a fundamental theoretical question: whether, in three dimensions, a fluid that initially behaves smoothly will always continue to do so, or if its behaviour can become infinitely intense—a "singularity" or "blow-up"—within a finite timeframe. This theoretical possibility, where a fluid's velocity could become infinitely large, is the central challenge. While practical applications already utilise these equations, a definitive mathematical solution would establish whether they consistently produce well-behaved solutions under all relevant conditions, providing a deeper theoretical understanding of fluid motion.

How did OpenAI approach the problem, and what are the immediate reactions?

OpenAI's approach, as detailed in its September 8, 2026, blog post, involved deploying 10,000 concurrently running AI agents. These agents reportedly cracked the problem in approximately 88 hours. The resulting solution was then formalised using Lean, a proof assistant designed for checking mathematical arguments. OpenAI's paper posits the construction of a mathematical fluid. This fluid, starting from rest and under a specially designed smooth external force, develops a point where its velocity grows without bound in finite time, even as its overall energy remains bounded.