学者争论：AI 数学证明晦涩难懂，为何大厂懒得修

TaliaRinger · x · 2026-09-20

普林斯顿计算机科学家 Talia Ringer 参与了一场关于 AI 数学证明的讨论：不少数学家抱怨 AI 生成的证明难以理解，无法增进对数学本身的认识。她指出大公司并不关心解决这个问题，因为「证明可读性」这类指标无法在 benchmark 上刷分。

对「能否用现有技术解决」的追问，她还提到可以设想一个衡量证明易懂程度的 reward model/judge，用来做 post-training 或引导模型——但问题在于「易懂」没有唯一度量，取决于读者与品味，很难压缩成单一标量。