On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
We haven't written up this one. OpenAI has the full story — the link below goes straight to it.
This story
This is one outlet's version. Read the fullest account.