OpenAI claims breakthrough on 90-year-old Navier-Stokes math problem

OpenAI says it has cracked the Navier-Stokes problem, a famously intractable question about fluid motion that has resisted mathematicians since the 1930s. In a blog post Tuesday, the company claimed its models produced a solution to the equations governing liquid and gas flow, a result that would rank among the most significant advances in applied mathematics in a century. The announcement, first reported by The New York Times and Wired, immediately sparked debate among researchers who question whether the work meets the rigorous standards of a formal proof.

The Navier-Stokes equations describe how viscous fluids move, from water through a pipe to air over an airplane wing. The specific problem OpenAI targeted asks whether these equations always have smooth, well-behaved solutions in three dimensions, or whether they can break down into singularities, points where the math stops making sense. The Clay Mathematics Institute listed the question among its seven Millennium Prize Problems in 2000, offering a $1 million award for a verified solution.

OpenAI did not publish a traditional proof. Instead, the company said it used machine learning to find a path to a solution, though it has not yet released full details. That secrecy troubles many mathematicians, who note that the problem's difficulty lies not in guessing an answer but in constructing a logically airtight argument that other experts can check line by line. A solution must be verifiable by humans, regardless of how it was discovered.