OpenAI一次性公开722份数学证明，陶哲轩称「证明消化不良」

2 hours ago AI闪点

人工智能在数学领域的推进速度正在刷新外界认知。近日OpenAI一次性公开了多达722份数学难题的证明手稿，这些成果横跨17个不同的数学领域，整体解题成本远低于以往，在数学界引发巨大震动。这一数字远超此前业界预期，也使AI数学能力再度成为学术圈热议焦点。

机器可验证，人类难理解

从技术与应用角度看，这批由AI生成的证明虽然能够通过机器的严格验证，但在实际转化层面暴露明显痛点：绝大多数证明难以转化为人类能够轻松理解的知识，甚至出现了因单个符号错误而导致多篇相关结论集体失效的「翻车」现象，严重影响了整体证明集的可靠性评估。

陶哲轩警告：工业化批量证明正在威胁数学研究生态

陶哲轩等学者严厉批评OpenAI批量发布AI生成的数学证明，称这种工业化批量攻克难题造成「证明消化不良」，理解机制缺失正威胁数学研究生态。数学家们指出，当AI以极高效率批量产出海量证明时，后续繁重的梳理、验证与解读工作全部压在了人类研究者的肩上，或将造成人机之间形成难以跨越的理解屏障。

相关阅读：OpenAI一次公开722篇数学论文：黎曼霍奇BSD三大千禧难题均有涉及

延伸阅读

AI 自学笔记 每天更新 AI 前沿动态，订阅 RSS，或按 Ctrl/⌘+D 收藏本站，明天见。