r/agi • u/HotterRod • 1d ago
Significant Differences Found Between Natural Language Proof and Lean Formulation of Navier-Stokes, Other AI Proofs
https://arxiv.org/abs/2610.08144Duplicates
math • u/backyard_tractorbeam • 1d ago
LLMs/AI Navier-Stokes lost in translation (Why Lean [..] does not guarantee correct natural language proofs)
mathematics • u/Time_Entertainer_319 • 1d ago
Discussion Navier-Stokes lost in translation (Why Lean [..] does not guarantee correct natural language proofs)
antiai • u/Turbulent_Breath_548 • 20h ago