On the Navier–Stokes Millennium Prize Problem
https://openai.com/index/navier-stokes-solution/
OpenAI
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
September 8, 2026 38 1
