Jump to content

Draft:Navier–Stokes OpenAI Proof

From Wikipedia, the free encyclopedia


On the 11th of September, 2026, OpenAI gave a proof the the Clay Maths Institute about having a solution to the Navier–Stokes equations. The Navier–Stokes equations mathematically express momentum balance for Newtonian fluids and make use of the conservation of mass.[1] The Navier-Stokes Problem[2] is a Millenium Maths problem, meaning that it has on offer One Million Dollars[3] to anyone who solves it.[4]

OpenAI said that its proof had be checked by Lean. OpenAI used an internal model many times more capable than GPT-6 Astra. Despite this, it is expected to be proven wrong or right by 2028.[5]

References

[edit]
  1. ↑ Weisstein, Eric W. "Navier-Stokes Equations". mathworld.wolfram.com. Wolfram Research, Inc. Retrieved 2026-11-01.
  2. ↑ "Navier-Stokes Equation". Clay Mathematics Institute. Retrieved 2026-11-01.
  3. ↑ "Rules for the Millennium Prize Problems". Clay Mathematics Institute. Retrieved 2026-11-01.
  4. ↑ "The Millennium Prize Problems". Clay Mathematics Institute. Retrieved 2026-11-01.
  5. ↑ "On the Navier–Stokes Millennium Prize Problem". OpenAI. 2026-10-29. Retrieved 2026-11-01.