Navier–Stokes Lost in Translation

Mathematics > Analysis of PDEs [Submitted on 6 Oct 2026] Title:Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs View PDF HTML (experimental)Abstract: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 Navi...