rohanpaul_ai· @rohanpaul_ai · X·· 8 小时前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
Title: "Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs"
来源：rohanpaul_ai · x.com