OpenAI says one of its advanced internal AI models has produced a potential solution to the Navier–Stokes existence and smoothness problem, one of the seven famous Millennium Prize Problems in mathematics.
The Navier–Stokes equations describe how fluids such as air and water move, but mathematicians have spent decades trying to determine whether their solutions can develop singularities or “blow up” under certain conditions.
OpenAI says its AI system found a construction showing that such a breakdown can occur, potentially answering one of the most important unanswered questions in mathematical fluid dynamics.
According to reports, the project used as many as 10,000 AI agents working in parallel and took around 88 hours to generate the solution. OpenAI also released a lengthy mathematical writeup and a formal proof written in Lean, a proof-assistant system designed to verify mathematical arguments step by step.
The result is particularly significant because the Navier–Stokes problem is one of seven Millennium Prize Problems established by the Clay Mathematics Institute, each associated with a $1 million prize.
However, OpenAI’s announcement should still be treated as a claimed breakthrough rather than a universally accepted solution. Independent mathematicians will need to carefully examine and validate the proof before the result can be considered fully established.
If confirmed, the achievement could become one of the strongest demonstrations yet that advanced AI systems can contribute directly to frontier mathematical research rather than simply solving known problems.
