rohanpaul_ai· @rohanpaul_ai · X·· 7 小时前AI 评分
Lean验证AI自动形式化不保证自然语言证明正确
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs – arxiv.org/abs/2610.08144
– arxiv.org/abs/2610.08144
标题：《Navier-Stokes 迷失在翻译中：为什么用 Lean 对 AI 自动形式化的验证并不能保证自然语言证明的正确性》
来源：rohanpaul_ai · x.com