Story
Navier–Stokes Lost in Translation
1 report
1 website
1 discussion
Latest report
Overview
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...
Summary from arxiv.org.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · arxiv.org
Hacker News discussion ↗
Historical count: 15 · 15 saved in sample · Historical sample
Awaiting analysis