新智元报道 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合作，重回以
