Post #233523 918 Oct 7, 2026, 16:18 UTC Navier–Stokes Lost in TranslationArticle, Comments arXiv.org Navier-Stokes lost in translation: Why Lean verification of AI... Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this... 🤯 6 🤣 1