Rohan Paul· @rohanpaul_ai · X·· 3 小时前AI 评分41
AI 导读
– https://arxiv.org/abs/2610.08144 标题：“Navier-Stokes lost in translation：为什么 AI 自动形式化的 Lean 验证不能保证自然语言证明正确”
正文
– https://arxiv.org/abs/2610.08144
Title: "Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs"
来源：Rohan Paul · x.com