On the Navier–Stokes Millennium Prize Problem On the Navier–Stokes Millennium Prize Problem openai.com/ai 2026-09-08 1 min read original #research We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.