AI写出一篇数学证明，不等于事情已经结束。就像一份篇幅很长的合同，看起来完整，也可能在某个不起眼的环节藏着问题。数学证明要求每一步都能从定义、假设或已有定理严格推出；AI生成得越快，专家逐行检查的压力反而越大。
Science 于2026年10月29日在线发表的这篇报道，关注的正是这道“验真”难题：AI可以迅速产出大量候选证明，专家核验却依然缓慢。关键不只是谁来检查，还包括什么证据足以让数学界相信结果。独立复核——由未参与生成的人依据可取得的材料重查推导——能把“模型说自己证明了”与“他人确认成立”区分开。形式化验证则把证明改写成计算机证明助手可检查的严格语言，减少人工漏错，但转换过程本身也很费力。同行评审能提供专业质检，却不是绝对认证，也难以及时消化激增的证明。
报道没有给出一套已经解决问题的统一方案。它提醒我们：当生成答案越来越便宜，建立可信度可能才是更稀缺、更慢的工作。