OpenAI 数学成果引验证争议

先了解这件事

OpenAI 公布一项数学成果：一个未发布的前沿模型产出 722 份稿件、涉及 372 个族，覆盖数论、复杂性理论和数学物理。曾研究 Barnette 猜想 24 年的 Jake Boggan 称该猜想（问题 180）据称已被这项工作解决，他为此投入数千小时，得知后感到一种遥远的悲伤。

质疑随之而来。Gary Marcus 认为真正的新闻不是结果本身，而是报告完全没有说明验证流程、模型架构、失败率和训练细节，无法判断其通用性，也可能只是适用于可验证领域的 Lean 与合成数据技巧。Ethan Mollick 转述 Scott Aaronson 博客中数学家 Dana Moshkovitz 的第一手体验：UGC 相关证明写作混乱、几乎无法在没有 AI 帮助的情况下读懂，部分 372 项突破性结果附有 Lean 证书，但尚无人类理解其中多数证明。

人类数学协会（AHM）批评这批手稿，敦促数学家停止与 OpenAI 合作，称 OpenAI 忽略了其顾问小组关于前沿 AI 公司不应在内部模型上测试高深数学问题的立场；Terence Tao 在博客转发了该声明，并在 Caltech 演讲中称 AI 解数学猜想可以走得更慢一些。普林斯顿高等研究院 AGMAI 顾问组指出，这批解答未完全遵循 9 月底发布的规范。此后 OpenAI 撤回了它两天前发布的一篇数学论文的部分内容。