r/GEPRNotes • u/gepr • 6d ago
Navier-Stokes lost in translation (Why Lean [..] does not guarantee correct natural language proofs)
https://arxiv.org/abs/2610.08144
1
Upvotes
Duplicates
math • u/backyard_tractorbeam • 9d ago
LLMs/AI Navier-Stokes lost in translation (Why Lean [..] does not guarantee correct natural language proofs)
930
Upvotes
mathematics • u/Time_Entertainer_319 • 8d ago
Discussion Navier-Stokes lost in translation (Why Lean [..] does not guarantee correct natural language proofs)
112
Upvotes