AI solution to Navier–Stokes problem
OpenAI shares an AI-generated solution to the Millennium Prize problem with a formal Lean proof.
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Official source
On the Navier–Stokes Millennium Prize Problemopenai.com · published