§ research · storyline
On the Navier–Stokes Millennium Prize Problem
An AI system publishes a proposed solution to the Navier–Stokes Millennium Prize Problem, accompanied by a formal proof written in Lean.
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
§ sources1 publication · timeline below