25 位菲尔兹奖得主联名愤怒,OpenAI 退出赞助:AI 正在激怒整个数学界
劳动节假期后学术纠纷曝光:OpenAI被指窃取研究成果还施压改署名
纽约大学数学家特里斯坦·巴克马斯特(Tristan Buckmaster)首先公开了与OpenAI的冲突。今年八月,巴克马斯特与搭档莱文特·阿尔珀格(Levent Alpöge)在千禧年大奖难题之一的纳维-斯托克斯方程上取得重大研究进展,研究过程中使用了OpenAI的Codex代码助手工具辅助整理、简化数学推导。
随后OpenAI高调宣布其AI智能体仅用88小时就攻克了纳维-斯托克斯方程,成为全球首个攻破千禧年难题级别的AI系统,震动学界。但巴克马斯特发现OpenAI公布的证明方法与自身研究时间线高度重合,疑似OpenAI利用了Codex收集的用户交互数据窃取未公开研究成果。
更令学界愤怒的是,OpenAI项目负责人向巴克马斯特开出条件:允许其作为OpenAI论文第一作者优先发表成果、提供充足算力、甚至建议其与合作者分享百万美元千禧年奖金,唯一要求是将莱文特·阿尔珀格从论文作者中剔除。

1万智能体暴力破解千禧难题:OpenAI高调宣传拒领百万奖金
OpenAI的官方声明中称,其内部模型调度1万个AI智能体,仅耗时88小时就完成了纳维-斯托克斯方程的证明,完成了人类数学家耗时近90年都未攻克的难题,随后还公开宣布拒领克雷数学研究所设立的100万美元奖金。
发布NS方程成果仅两天后,OpenAI又向《纽约时报》透露,其内部模型已在另一千禧年难题霍奇猜想上取得实质性进展。目前一张疯传的千禧难题能力榜单显示,Meta、DeepMind、xAI等公开模型在该维度得分为0,人类顶级数学家基线得分为1分,Anthropic内部未发布模型得1分,OpenAI内部未发布系统得2分,直接拉开代差。
这一系列宣传将AI解决数学难题的能力推至新的高度,也彻底点燃了数学界的怒火。
陶哲轩领衔25位菲尔兹奖得主联名发声明:AI竞赛正在摧毁数学研究生态
包括陶哲轩、阿图尔·阿维拉、马克西姆·孔采维奇、彼得·朔尔策、邓煜在内的25位菲尔兹奖得主联合签署了名为《人工智能在数学领域的严重错位》的公开信,矛头直指OpenAI与Anthropic。
公开信指出,AI企业将数学难题作为模型能力的基准测试和公关素材,完全偏离了数学研究的核心目标——数学的核心从来不是产出冷冰冰的答案,而是理解结构、孕育新思想。解决一个著名难题的真正价值,在于诞生新的洞见、方法或概念,这些成果还需要经过数学家长期的报告、讨论、简化,最终才能变成全人类共享的知识工具,甚至造福后世。如果缺乏人类数学家对AI提出的想法进行发展、整合并纳入数学体系,这些想法永远无法真正落地,数学家之间至关重要的知识传承链条也将彻底断裂。
信中重点批评了AI行业制造“垃圾数学”(slop mathematics)的行为:AI公司仓促宣布“突破性成果”,却缺乏规范的论文写作、不梳理新方法新思路、不引用前人相关工作,后续的验证、修正、甚至彻底推翻这些结论的工作,全部扔给人类数学家免费完成,得不到任何报酬、荣誉或署名。这种模式会彻底断裂数学研究的传承链条,如果只靠算力暴力给出结果,人类的“思想链”就会中断,数学的灵感沃土也会被摧毁。
声明同时明确表示并非排斥AI,认为AI有潜力加速真正的数学研究,最终影响取决于技术掌握者的选择,但当前AI竞赛的模式已经对数学研究生态造成了严重的破坏性威胁。声明还呼吁数学共同体、AI技术公司与整个社会共同思考:当机器越来越擅长给出答案,人类究竟希望从数学研究中得到什么。
遭学界集体抵制:OpenAI撤回加州理工学院数学活动赞助
冲突的另一导火索来自加州理工学院数学家此前发表的公开信,他们指出由AI公司赞助数学学术赛事“极有可能对整个数学学术界带来毁灭性的破坏”。
本周四,OpenAI研究负责人丹·罗伯茨正式证实,该公司已退出对加州理工学院即将举办的“数学黑客松”活动的赞助。罗伯茨回应称,意识到AI在数学领域的飞速进展带来了剧烈冲击,将积极与数学界沟通,探讨如何更好地整合这项技术。
目前数学界与AI行业的矛盾仍在持续发酵,双方围绕数学研究的本质、学术伦理、成果归属等问题的讨论,已经超越了技术层面,直指人工智能技术应用的价值导向问题。