10月9日消息，近日，数学界领军人物、菲尔兹奖得主陶哲轩牵头人类数学协会（AHM）发布联合声明，全面抵制OpenAI。声明措辞严厉：“我们强烈敦促所有数学家停止与OpenAI合作，重回以人类理解为核心的科学愿景。”

10月6日，OpenAI突然发布722篇数学手稿，压缩成372个结果族。公开数据显示，OpenAI动用内部模型测试约8000个开放性数学问题，命中率约5%，平均解决一道高难度难题仅消耗3小时GPT-Pro级别算力。

理论计算机科学家Scott Aaronson将这一事件称为“数学界的末日浩劫”。他提到妻子Dana Moshkovitz的遭遇，Dana将整个学术生涯投入“唯一博弈猜想”研究，OpenAI发布的文档中赫然写着该猜想已被证明，但文档内容混乱。Dana在短信中写道：“这感觉就像是吃了致幻剂的人写出来的东西。”

此前陶哲轩曾联合25位菲尔兹奖得主发表联合呼吁，希望商业公司放慢脚步。OpenAI随后拉着普林斯顿高等研究院设立数学与AI咨询小组，专家组第一份报告就明确警告：前沿AI公司不应在内部模型上擅自测试高深数学难题。OpenAI未予采纳。

陶哲轩此前反复警告的“证明消化不良”正在爆发。他指出：“一个问题一旦被宣称解决，就再也回不到未解决的状态了。即使只是知道答案存在，也会污染其他可能带来更深刻洞见的研究路径。”

图灵奖得主杨立昆对此持不同看法。他在X平台评论：“恰恰相反。数学正迎来新时代。形式证明将大幅自动化，重点将转向发展新概念、新抽象、新定义和新猜想。船的发明降低了游泳的重要性，却让我们发现新大陆。”