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》。