OpenAI放出722篇数学论文：Aaronson称数学末日
“妈妈，你被机器秒杀了！”
这篇文章出自微信公众号“新智元”，作者署名ASI启示录，编辑Aeneas，创业邦获得授权转载。
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牵头的联合声明。数学界在声明里直接开火：这些证明，没人请你们去解，这项工作也没人求你们来做。
声明还说，一口气甩出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》。
参考资料：
https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/https://scottaaronson.blog/?p=10169
