OpenAI says model has proposed a solution to the Navier–Stokes Millennium Prize Problem

OpenAI said on September 8, 2026, that one of its models has proposed a solution to the Navier–Stokes Millennium Prize Problem, a major unsolved question in mathematics with implications for the study of fluid motion. The company said it is sharing a writeup and a formal proof in Lean, a formal proof language used to help verify mathematical arguments.

The announcement centers on a problem that asks whether smooth, globally defined solutions always exist for the Navier–Stokes equations in three dimensions. Because the equations are fundamental to modeling water, air and other fluids, progress on the problem would carry significance beyond pure mathematics, including for physics and engineering. OpenAI did not say the result has been independently confirmed by the mathematics community.

The Navier–Stokes question is one of the Clay Mathematics Institute’s Millennium Prize Problems, a set of seven famous problems each tied to a $1 million prize for a correct solution. For decades, the Navier–Stokes problem has been regarded as one of the field’s hardest open challenges because a complete proof has remained elusive despite extensive work by mathematicians and scientists.

What OpenAI said about the proof

OpenAI framed the work as an AI-generated proposal rather than a settled mathematical conclusion. In the company’s research listing, the post is described as an AI-generated solution to the Navier–Stokes Millennium Prize Problem, paired with a writeup and a formal proof in Lean. That wording suggests the company is presenting the result as a research claim intended for scrutiny, not as a proven consensus result.

The company’s public page places the announcement alongside other research updates dated September 2026, indicating that the claim is part of OpenAI’s broader scientific-research output. No additional technical details, authorship breakdowns or timelines for independent verification were provided in the announcement preview visible on the research index page.

For mathematicians, any asserted solution to a Millennium Prize Problem would typically require careful checking of every step, especially when formal verification is involved. OpenAI’s publication of a Lean proof may make that review easier, but the mathematical status of the claim will ultimately depend on whether experts determine the argument is complete and correct.