An OpenAI model has proposed a solution to the Navier–Stokes problem

OpenAI has published an AI-generated proposed solution to the Navier–Stokes Millennium Prize Problem, one of mathematics' most famous unsolved questions.

The work includes both a mathematical write-up and a formal proof expressed in Lean, a theorem-proving language that allows mathematical arguments to be checked mechanically.

The Navier–Stokes equations describe how fluids such as air and water move. The Millennium Prize Problem asks whether smooth solutions to the three-dimensional equations always exist under appropriate conditions, or whether singularities can develop.

A correct solution would resolve a problem that has remained open for decades and carries a $1 million Millennium Prize from the Clay Mathematics Institute.

However, OpenAI publishing a proposed proof does not mean the problem should already be considered solved.

Major mathematical results require detailed scrutiny by independent experts. Formal verification can strengthen confidence that individual logical steps are valid, but mathematicians still need to evaluate whether the definitions, assumptions and formal statement correspond correctly to the original problem.

The release is nevertheless significant for AI-assisted science.

Modern reasoning models are increasingly being used not only to summarize research but to generate mathematical arguments, formalize proofs and work across long research tasks.

OpenAI's publication therefore represents two stories at once: a potentially important mathematical result and a test of how far AI systems can participate in frontier research.

Until the proposed solution has been independently examined and accepted by the mathematical community, it should be described as a proposed solution rather than a resolution of the Millennium Prize Problem.