Story
openai_blog · Sep 8, 2026 · news
Source brief
On the Navier–Stokes Millennium Prize Problem
the OpenAI blogSep 8, 2026
original source linked
In brief
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Continue reading