最近,人工智能巨头OpenAI大规模发布的722篇数学研究成果在数学界引起轩然大波,众多数学家对此表示强烈反对。菲尔兹奖得主陶哲轩在个人博客上转发了由人类数学协会(AHM)发起的联合声明,提议全球数学家暂停与OpenAI的合作,以重拾以人为本的科学研究方向。这一抵制行为的导火索是OpenAI的数学手稿及其后续的处理方式。
这722篇手稿是由尚未公布的先进模型生成的,涵盖数论、代数几何、微分方程和数学物理等领域,以372个“成果家族”进行分类。部分手稿附带Lean的形式化证明,能够通过计算机检查逻辑,但也有一些仅依赖于口头推理和非正式证明。最引人注目的结果之一是关于“准黎曼猜想”的030号手稿,黎曼猜想被视为数学界悬而未解的重大挑战,罗格斯大学的数学教授Alex Kontorovich评论称,如此成果若是人类所为,肯定能获得菲尔兹奖。
然而,在手稿出版后不久,问题开始暴露,OpenAI不得不迅速采取补救措施。10月8日,OpenAI公开了手稿的初次更新报告,承认首批手稿存在缺陷,并进行了大规模修订,撤回了3篇手稿,修订了14篇。若干手稿的引用也进行了更新,最终数量从722篇减少到719篇。这3篇撤回的手稿涉及代数几何领域的霍奇猜想,因为发现了一个导致论文论证无效的符号错误。
这一争议并非突发,而是数学界对AI介入基础数学研究风险的长期担忧。早前,OpenAI曾声称其内部模型仅用88小时便解决了“千禧年大奖难题”中的纳维-斯托克斯方程问题,该声明激起了学术界的强烈质疑。9月11日,陶哲轩与其他24位菲尔兹奖得主共同发布了一份声明,警告“AI正在破坏数学的根基”,并积极呼吁抵制这一现象。
此外,数学与人工智能咨询组(AGMAI)也反对在没有外部访问的模型上进行高难度数学问题的测试。而早在2026年6月,16位知名数学家就曾联名发布《人工智能与数学莱顿宣言》,强调不应禁止AI,但应在界定清晰的规范基础上进行合作。宣言中明确了数学家的学术共识,包括:证明是数学的基础,研究者必须透明披露工具使用情况,如责任归属等。
陶哲轩在转发的声明中表示,发布超过700篇数学文件并不是真正的学术展示,而是权力的展示。在他看来,传统的数学研究过程会促进学术交流与合作,但类似OpenAI的做法不仅使得大量复杂的论证无法消化,还可能导致学术上的混乱。数学研究的真正价值在于人类在推理与思考过程中所产生的新思想和方法,而不是快速得到一个标准答案。AI可能会扰乱这种正常的研究节奏,导致学术规范的混淆与破坏。
2026-10-10
2026-10-10