johndcook.com

The part of Navier-Stokes no one is talking about

When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.

Open source