「不可读的证明不等于不可想象」：学者激辩 AI 数学证明意义
ManningJoel · x · 2026-11-08
这是 Joel Manning 与 David Bau 围绕 AI 生成数学证明的讨论。Bau 提出「不可读的证明并非不可想象(An unreadable proof isn't unthinkable)」：Buckmaster 和 Alpoge 曾沿同一路径攻 Navier-Stokes 方程一年之久，而 AI 直接跑在了他们前面。他补充说，AI 写出的证明文本虽然难看，专家们正在重写它们——UGC 证明发布一个月后，Dana Moshkovitz 已经在讲解其原理的报告中。Manning 回应称，为「不可想象」找到正确定义确实很难，并承认人类最终(或已经)能理解这些证明的大致思路，但这并不让他完全安心。