On the Navier–Stokes Millennium Prize Problem

OpenAISeptember 8, 2026en

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

This is a short summary published by AI Global Wire. The full article is owned and hosted by OpenAI — open it there to read it in full.