Post #231964 2.39K Sep 10, 2026, 21:34 UTC The part of Navier-Stokes no one is talking aboutArticle, Comments John D. Cook | Applied Mathematics Consulting 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. ❤ 9 🤡 6 🤪 2 👏 1 🌭 1