Navier–Stokes Lost in Translation
This academic paper explores the limitations of using AI for formalizing mathematical proofs, specifically focusing on the Navier–Stokes equations. It argues that current AI autoformalization methods do not guarantee the correctness of natural language proofs.
Why it matters
It highlights a critical reliability gap in AI-assisted scientific research, suggesting that human verification remains essential for complex mathematical proofs.
Focus to learn more arXiv-issued DOI via DataCite (pending registration) Submission history From: Alexander Bastounis [ view email ] [v1] Tue, 6 Oct 2026 10:58:01 UTC (1,080 KB) Full-text links: Access Paper: View a PDF of the paper titled Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs, by Alexander Bastounis and 2 other authors View PDF HTML (experimental) TeX Source view license Current browse context: math.AP < prev | next > new | recent | 2026-10 Change to browse by: cs cs.AI math math.LO References & Citations NASA ADS Google Scholar Semantic Scholar export BibTeX citation Loading... BibTeX formatted citation loading... Data provided by: Bookmark Bibliographic Tools Bibliographic and Citation Tools Bibliographic Explorer Toggle Bibliographic Explorer ( What is the Explorer? ) Connected Papers Toggle Connected Papers ( What is Connected Papers? ) Litmaps Toggle Litmaps ( What is Litmaps?
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in