新智元 (微信公众号) · 10/10/2026, 08:55:00
OpenAI's Release of 722 Math Papers Sparks Academic Backlash: Terence Tao Leads Boycott Against 'Compute Hegemony'
OpenAI released 722 major mathematical papers on October 6, triggering a global backlash from mathematicians. Led by Terence Tao and the AMH, academics issued a statement condemning OpenAI for copyright infringement and 'compute hegemony,' while Yann LeCun countered that this represents a 'new continent' discovery. Theoretical computer scientist Scott Aaronson warned that AI is destroying millennia of human mathematical heritage, highlighting escalating conflicts between AI labs and the foundational science community over IP and research paradigms.
SOURCE COVERAGEFull Original Report
OpenAI，已经引起全球数学家的众怒！
10月6日，他们一次性放出了722篇重大数学难题论文。
美国CS教授、ACM会士Scott Aaronson惊呼：数学末日来了！
全球数学家们已经联合起来，集体抵制OpenAI、
陶哲轩借自己博客发出一份AMH牵头的联合声明，直接跟OpenAI撕破脸。
声明中，他们这样称呼OpenAI：「昨天，OpenAI——这家目前正因非法抄袭、侵犯版权和商标淡化等指控而身陷诉讼的公司——发布了一批手稿……」
对于OpenAI的行径，他们称之为「赤裸裸的算力霸权」。
图灵奖得主LeCun，这一次倒是没站在数学们这一边，他的看法是：我们发现了新大陆。
数学末日来了：「妈妈，你被机器秒杀了！」
最近，美国著名理论计算机科学家、德克萨斯大学奥斯汀分校教授 Scott Aaronson，发出这样一篇《数学末日》的长文。
文章一开头，就是这个扎心的场景。
「妈妈，我听说你被秒杀了！我听说一个机器人解决了一个你整个职业生涯都在研究的数学问题！哎呀！」
他9岁的儿子，正嘲讽着自己的母亲——著名的复杂性理论家 Dana Moshkovitz。童言无忌，却字字扎心。
在OpenAI抛出的这几百份证明中，赫然躺着苏巴什·霍特唯一博弈猜想（UGC）的完整证明。
这是一个困扰了学术界数十年的猜想，也是Dana Moshkovitz整个职业生涯攻克的目标。现在，它被一个AI轻易解决了。
Dana 绝不是唯一的「受害者」。在这场「大甩卖」式的论文海啸中，计算机科学和数学家们的天塌了。
不少数学家一觉醒来，看着屏幕上的AI生成文件，差点两眼一黑。
Aaronson将这一天直接命名为「数学界的末日」。
随便拎出一个成果，都足以拿下该领域的「年度最佳」，甚至引发轰动。
L=BPL 去随机化： 证明了概率对数空间和确定性对数空间是同一回事，直接终结了理论计算机科学界的一大悬案。
矩阵乘法的新界限： O(n^(9/4)) 时间复杂度！打破了多年来停滞不前的僵局，且使用了一种人类从未设想过的全新方法。
突破1960年代屏障的傅里叶变换： 整数乘法时间缩短至 O(n log n) 以下。
而最令人感到战栗的是这些成果的「成本」。
解决难题的，仅仅是即将向付费用户推出的最新内部模型（GPT-Pro级别）。平均每个顶级难题，AI只花了大约3个小时的算力。
人类喝两杯咖啡的时间，AI就解决了人类顶级题库中5%的难题。
读不懂的「外星造物」：人类沦为废墟上的搬运工
更深层的绝望在于：AI写出来的东西，人类根本看不懂。
在翻阅了UGC猜想的证明后，Dana 陷入了深深的迷茫：
这感觉就像是一个嗑了致幻剂的人写出来的东西。太多不清晰和不合逻辑的地方。
它发明了一种全新的、极其奇异的编码方式，带有噪声测试。它不是长码，也不是短码——它是某种外星般的疯狂之物。
论文的写法极其糟糕，引用混乱，充斥着人类无法理解的跳跃。
最终，人类数学家不得不打开另一个AI（比如Astra），让它来帮自己「翻译」和梳理这篇由AI写出的论文。
这便是「数学末日」带来的最荒诞的场景：人类学者不再是知识的创造者，而是沦为了外星文明遗迹里的「考古学家」和「翻译官」。
《量子杂志》的作者乔达娜·塞佩莱维茨给出一个精妙比喻。
这就好像你被瞬间传送到了一座高山顶峰。
四周迷雾环绕，你不知道自己身在何处。你没有经历过攀登时的缺氧，没有磨砺出攀爬悬崖的工具。
你只是坐在黑暗的山顶上，而那个传送机器的制造者冷冷地告诉你：它比任何人都更懂这座山。
是的，真理就在那里，但人类丧失了攀登的过程。
当我们用非人类的方式解决了问题，真正「知道」一件事，究竟意味着什么？
数学家们暴怒：没人求你们解这些题！
人类数学家们，为什么一夜之间站到了OpenAI的对立面？
因为，OpenAI做得实在太绝了，直接把人类顶尖大脑的尊严按在地上摩擦。
前段时间，OpenAI曾高调宣称解掉了一个千禧难题。当时，陶哲轩就察觉到了危险。
他立刻联合了25位菲尔兹奖得主发表联合呼吁，希望商业公司放慢脚步：
简直是疯了！AI公司无休止地加速，却对那之后会发生什么一无所知。必须慢下来。完全没理由这么快，一点理由都没有！
结果呢？OpenAI根本没把这菲奖得主们的警告当回事，扭头就甩出了722份机器证明文件，用最暴力的手段打了整个数学界的脸。
人类数学协会（AHM），就是全球顶尖数学家自发建立的「行业防线」。AHM的核心宗旨只有一个：守护人类对数学本质的理解，防止学术规范被无节制的暴力算力彻底摧毁。
在这份由AHM牵头、陶哲轩转发的联合声明中，数学家们回击：「没人求你们做这项工作！没人求过你们解这些证明！」
「一次性发布700多个文件，这根本不算科研，纯粹是在炫耀算力霸权！我们强烈敦促所有数学家停止与OpenAI合作，重回以人类理解为核心的科学愿景。」
有人支持，也有人嘲讽：如果是AI攻克了数百种绝症，医学界绝对会热烈欢迎。
图灵奖得主杨立昆：恰恰相反，我们发现了新大陆！
瑞士洛桑联邦理工学院教授 Florent Krzakala直言：数学的某些部分已经死去了。
不过，图灵奖得主Yann LeCun却给出截然不同的论断。
他表示：恰恰相反，数学不仅没有死，反而正在迎来一个前所未有的新时代！
在LeCun看来，数学家们大可不必如此惊恐。「形式证明将大幅自动化，但这不意味着人类失去价值。未来的数学研究重点，将转向发展新概念、新抽象、新定义和新猜想。」
然后，他给出这样一个比喻：「船的发明，确实降低了人类自己‘游泳’的重要性。但是，船却让我们发现了新大陆！」
在陶哲轩的博客留言区，也能看到这种撕裂。
一位署名 Jörg Neunhäuserer 的学者坦言，自己花了大量时间研究的三个问题被AI解决后，他并没有觉得被剥夺了什么，反而「感到如释重负」。
因为他不必再做这些苦力活了，而且机器证明了他的直觉是对的。
一名代数几何方向的博士生，也对此表示反对。
细思极恐的阴影：为什么唯独没有密码学？
这场数学末日中，还有一个令人毛骨悚然的疑点。
OpenAI 倾泻的数百篇论文里，涵盖了数论、组合数学、量子复杂性等几乎所有领域。
但是，唯独没有密码学。
为什么？是AI在密码学上碰壁了吗？
Scott Aaronson 透露了一个让人后背发凉的内部消息：各 AI 公司现在已经开始调查，他们最新的内部模型是否能够破解当今世界最重要的密码学协议。
如果 AI 能解密顶级复杂的理论架构，发明连人类顶尖大脑都看不懂的「外星编码」，那么人类的银行加密、网络安全、甚至国家级机密（RSA/AES等），在它面前是不是只是一层纸？
如果它们已经被破解了，在「世界其他地方发现之前，抢先一步做好准备」，这就是此刻各大巨头正闭门秘密做的事。
Scott Aaronson教授的长文中，他这样写道——
的=然后他们冲着纳维–斯托克斯来了，我什么也没说，因为我从没研究过纳维–斯托克斯。但当他们冲着 RL 与 L 来了，我意识到事情严重了。
谁能知道，下一个不是自己？
在那个被震惊的夜晚，Scott Aaronson 没有继续死磕那几百篇外星论文。他决定关上电脑，陪孩子们看一场电影。
他觉得，这部电影能为孩子们提供最实际的生存指导。
这部电影的名字，叫《终结者2》。
参考资料：
秒追ASI
⭐点赞、转发、在看一键三连⭐
点亮星标，锁定新智元极速推送！