The part of Navier-Stokes no one is talking about
OpenAI announced a proof that settled a long-standing question about the Navier-Stokes equations from fluid dynamics, and simultaneously posted a Lean 4 formal proof of the result. The formal proof as…