Jay发自 徽声在线 量子位 | 公众号QbitAI

数学界与AI巨头的矛盾，终于彻底爆发了。

近日，数学界领军人物、菲尔兹奖得主陶哲轩，联合人类数学协会（AHM）发布了一份震撼性的联合声明——

全球数学界集体行动，正式向OpenAI发起全面抵制。

一次性抛出700多个机器生成的证明文件，这被数学家们视为对科研精神的亵渎，纯粹是在炫耀算力霸权。

声明中强烈呼吁所有数学家停止与OpenAI的合作，回归以人类理解为核心的科学探索之路。

数学家们为何突然集体站到了AI模型公司的对立面？

根源在于OpenAI的激进行为已触碰到了数学界的底线。

此前，OpenAI宣称攻克了千禧难题，陶哲轩便联合25位菲尔兹奖得主发表联合呼吁，希望商业公司能够放慢脚步，审慎对待数学难题的解决。

AI公司的无休止加速，却对可能引发的后果一无所知，这种盲目推进的态度让数学家们深感忧虑。

“必须慢下来，完全没有必要如此迅速，没有任何合理的理由。”数学家们如此警告。

然而，商业巨头并未将警告放在心上。。。

OpenAI转而抛出700多篇机器生成的证明文件，全球不少数学家清晨醒来，看到这些文件时，几乎要崩溃。

用理论计算机科学家Scott Aaronson的话来说，这无疑是一场数学界的末日浩劫（Mathocalypse）。

如今，数学界的集体反击，已经正式拉开帷幕。

image.png

人类数学协会公开宣战

此次由陶哲轩领衔，向商业巨头发起挑战的机构，名为人类数学协会（Association for Human Mathematicians，简称AHM）。

这并非一个普通的研究小组，而是面对生成式AI冲击，全球顶尖数学家自发组建的行业防线。

该组织的核心宗旨，是守护人类对数学本质的理解，防止学术规范被无节制的暴力算力所摧毁。

AHM牵头的联合声明语气严厉，一开篇便翻起旧账，直指OpenAI的痛处：

这家目前正因非法抄袭、侵犯版权和商标淡化等指控而陷入诉讼的公司，发布了一批手稿，声称其中包含了数学界知名难题的解答。

随后，声明更是毫不留情地回击：

“没人求过你们解这些证明。”

为何整个数学界会如此愤怒？

千禧难题剽窃风波闹大后，OpenAI为了展现合规姿态，曾拉着普林斯顿高等研究院设立了数学与人工智能咨询小组（AGMAI）。

当时官方还专门发文，宣称要与数学界深度共建。

然而，所谓的紧密合作却成了公关的幌子，专家组的意见被彻底抛诸脑后。。。

专家小组发布的第一份咨询报告就明确给出了红线警告：

前沿AI公司不应该在内部模型上擅自测试高深数学难题。

结果呢？

OpenAI对此充耳不闻，转头就用内部模型一口气刷了8000道题，还将700份机器草稿公之于众。

AHM的声明字字见血：

无视咨询小组立场的核心前提，表明OpenAI对科学研究规范全然不屑一顾。

数学家对进步有着特定的愿景，这种愿景植根于历史与学科自身的考量。

我们拒绝OpenAI所谓此次发布推动了数学发展的说法，并敦促数学家与公众对这一发表模式的价值保持应有的怀疑。

700份证明文件让数学界集体破防

这700多份让数学界集体破防的文件，究竟是如何产生的？

公开数据显示，OpenAI动用内部模型测试了大约8000个开放性数学问题，命中率在5%左右。

平均解决一道高难度难题，仅消耗了3个小时的GPT-Pro级别算力。

三小时算力，就能直接碾碎一个学者数年甚至一生的研究积累。

AI进化到这个地步，即便是站在人类纯粹智力塔尖的数学家们，也真切体会到了被算法碾压的无力感。

更离谱的事情还在后面。

当学者们硬着头皮点开这些文件时，整个人都惊呆了。

Scott Aaronson提到了他妻子Dana Moshkovitz的遭遇。

Dana将整个学术生涯的心血都倾注在了理论计算机顶级难题“唯一博弈猜想”（Unique Games Conjecture）上。

结果OpenAI发布的文档里，赫然写着该猜想已被证明。

连夜看完文档后，Dana感受到的只有荒诞和绝望。她在短信里写道：

“这感觉就像是吃了致幻剂的人写出来的东西。”

整篇论文逻辑跳跃极其混乱，堆砌了大量先验结论却完全不做适用性说明，通篇采用人类从未见过的诡异构造。

论文写得太烂了，没有AI辅助根本读不懂。里面全是一些外星人般的疯狂逻辑。

更让人不寒而栗的是，在这批倾巢而出的成果库里，唯独缺失了一个关键领域——密码学。

有消息指出，AI公司实际上已经在暗中利用强大的模型算力，悄悄探测现代密码学协议和原语的底层漏洞了。。。

没有同行评审，没有可读的人类逻辑，更没有对前人工作的尊重与解释。

AI巨头将一堆天书般的草稿直接甩给学术界，试图让全球顶尖学者免费给他们当人工验题工具人。

陶哲轩此前一直警告的“证明消化不良”，正在全面爆发。

谁在摧毁数学？

证明难题难道就是数学的全部吗？

这是陶哲轩反复追问的一个命题。

在传统数学界，一个重大猜想被人类攻克，会催生大量的研讨会、讲座与跨界合作，最终沉淀为教科书里的经典养分，启发整整一代年轻后辈。

现在的情况却完全变了。

按下回车键的人根本不懂证明，负责看证明的数学家却被天书折磨得痛不欲生。

很多年轻学者因为害怕被大模型截胡，甚至不敢公开自己正在探索的方向。

陶哲轩将这种破坏称为不可逆的污染：

“一个问题一旦被宣称解决，就再也回不到未解决的状态了。即使只是知道答案存在，也会污染其他可能带来更深刻洞见的研究路径。”

商业算力正在工业化收割数学难题，留给人类学者的，却是一片无法理解的荒地。

早在2024年，陶哲轩就畅想过工业化数学的前景。

当时的陶哲轩非常乐观，坚信人类依然是主导者，AI顶多像国际象棋引擎一样给数学家打打下手。

谁能料到，短短时间里，攻守之势便彻底逆转。

AI负责攻克人类难以企及的难题，人类却沦为了负责验算和整理笔记的工具人。。。

当几小时的机器运算就能轻易跨越学者一生的探索，这门古老而纯粹的学科，正被推向一个未知的十字路口。

One More Thing

面对AI巨头与数学界的剧烈冲突，不少人哀叹数学已死时，图灵奖得主杨立昆却现身评论。

但他的态度，似乎与陶哲轩等明星数学家截然不同：

“恰恰相反。”

“数学正迎来新时代。形式证明将大幅自动化，重点将转向发展新概念、新抽象、新定义和新猜想。”

“船的发明降低了游泳的重要性，却让我们发现了新大陆。”

参考链接：
[1]https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/
[2] https://the-decoder.com/subscription/
[3] https://x.com/ylecun/status/2108118582856925198