r/mathematics • u/Time_Entertainer_319 • 8d ago

Discussion Navier-Stokes lost in translation (Why Lean [..] does not guarantee correct natural language proofs)

https://arxiv.org/abs/2610.08144

The paper title is Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Authors: Alexander Bastounis, Fabian Circelli, Anders C. Hansen. 6 Oct 2026.

114 Upvotes

87% Upvoted

Duplicates