The part of Navier-Stokes no one is talking about
The Endeavour 2026-09-09
Summary:
Yesterday OpenAI announced a proof that settled a long-standing question about the Navier-Stokes equations from fluid dynamics. The announcement has created a lot of buzz, as one would expect. But there’s an aspect of OpenAI’s work that I haven’t seen anyone talk about: they posted a Lean 4 formal proof at the same time as […]
The post The part of Navier-Stokes no one is talking about first appeared on John D. Cook.