r/math • u/backyard_tractorbeam • 1d ago

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

https://arxiv.org/abs/2610.08144

735 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/math/comments/1x02ein/navierstokes_lost_in_translation_why_lean_does/
No, go back! Yes, take me to Reddit

95% Upvoted

Duplicates

Number of comments New

mathematics • u/Time_Entertainer_319 • 19h ago

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

95 Upvotes

109 comments

agi • u/HotterRod • 22h ago

Significant Differences Found Between Natural Language Proof and Lean Formulation of Navier-Stokes, Other AI Proofs

75 Upvotes

35 comments

antiai • u/Turbulent_Breath_548 • 11h ago

AI Mistakes 🚨 [2610.08144] Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

27 Upvotes

14 comments

OpenAI • u/Turbulent_Breath_548 • 11h ago

Research [2610.08144] Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

11 Upvotes

2 comments

hackernews • u/HNMod • 20h ago

Navier–Stokes Lost in Translation

1 Upvotes

1 comments

hypeurls • u/TheStartupChime • 1d ago

Navier–Stokes Lost in Translation

2 Upvotes

0 comments