OpenAI，已经引起全球数学家的众怒！
美国CS教授、ACM会士Scott Aaronson惊呼：数学末日来了！
全球数学家们已经联合起来，集体抵制OpenAI。
陶哲轩借自己博客发出一份AMH牵头的联合声明，直接跟OpenAI撕破脸。
对于OpenAI的行径，他们称之为「赤裸裸的算力霸权」。
图灵奖得主LeCun，这一次倒是没站在数学们这一边，他的看法是：我们发现了新大陆。
「妈妈，我听说你被秒杀了！我听说一个机器人解决了一个你整个职业生涯都在研究的数学问题！哎呀！」
他9岁的儿子，正嘲讽着自己的母亲——著名的复杂性理论家 Dana Moshkovitz。童言无忌，却字字扎心。
在OpenAI抛出的这几百份证明中，赫然躺着苏巴什·霍特唯一博弈猜想（UGC）的完整证明。
这是一个困扰了学术界数十年的猜想，也是Dana Moshkovitz整个职业生涯攻克的目标。现在，它被一个AI轻易解决了。
Aaronson将这一天直接命名为「数学界的末日」。
随便拎出一个成果，都足以拿下该领域的「年度最佳」，甚至引发轰动。
L=BPL 去随机化： 证明了概率对数空间和确定性对数空间是同一回事，直接终结了理论计算机科学界的一大悬案。
矩阵乘法的新界限： O(n^(9/4)) 时间复杂度！打破了多年来停滞不前的僵局，且使用了一种人类从未设想过的全新方法。
突破1960年代屏障的傅里叶变换： 整数乘法时间缩短至 O(n log n) 以下。
而最令人感到战栗的是这些成果的「成本」。
解决难题的，仅仅是即将向付费用户推出的最新内部模型（GPT-Pro级别）。平均每个顶级难题，AI只花了大约3个小时的算力。
人类喝两杯咖啡的时间，AI就解决了人类顶级题库中5%的难题。
更深层的绝望在于：AI写出来的东西，人类根本看不懂。
在翻阅了UGC猜想的证明后，Dana 陷入了深深的迷茫：
这感觉就像是一个嗑了致幻剂的人写出来的东西。太多不清晰和不合逻辑的地方。
它发明了一种全新的、极其奇异的编码方式，带有噪声测试。它不是长码，也不是短码——它是某种外星般的疯狂之物。
这就好像你被瞬间传送到了一座高山顶峰。
四周迷雾环绕，你不知道自己身在何处。你没有经历过攀登时的缺氧，没有磨砺出攀爬悬崖的工具。
你只是坐在黑暗的山顶上，而那个传送机器的制造者冷冷地告诉你：它比任何人都更懂这座山。
是的，真理就在那里，但人类丧失了攀登的过程。
当我们用非人类的方式解决了问题，真正「知道」一件事，究竟意味着什么？
人类数学家们，为什么一夜之间站到了OpenAI的对立面？
因为，OpenAI做得实在太绝了，直接把人类顶尖大脑的尊严按在地上摩擦。
前段时间，OpenAI曾高调宣称解掉了一个千禧难题。当时，陶哲轩就察觉到了危险。
他立刻联合了25位菲尔兹奖得主发表联合呼吁，希望商业公司放慢脚步：
简直是疯了！AI公司无休止地加速，却对那之后会发生什么一无所知。必须慢下来。完全没理由这么快，一点理由都没有！
人类数学协会（AHM），就是全球顶尖数学家自发建立的「行业防线」。AHM的核心宗旨只有一个：守护人类对数学本质的理解，防止学术规范被无节制的暴力算力彻底摧毁。
在这份由AHM牵头、陶哲轩转发的联合声明中，数学家们回击：「没人求你们做这项工作！没人求过你们解这些证明！」
有人支持，也有人嘲讽：如果是AI攻克了数百种绝症，医学界绝对会热烈欢迎。
瑞士洛桑联邦理工学院教授 Florent Krzakala直言：数学的某些部分已经死去了。
不过，图灵奖得主Yann LeCun却给出截然不同的论断。
他表示：恰恰相反，数学不仅没有死，反而正在迎来一个前所未有的新时代！
在LeCun看来，数学家们大可不必如此惊恐。「形式证明将大幅自动化，但这不意味着人类失去价值。未来的数学研究重点，将转向发展新概念、新抽象、新定义和新猜想。」
然后，他给出这样一个比喻：「船的发明，确实降低了人类自己‘游泳’的重要性。但是，船却让我们发现了新大陆！」
在陶哲轩的博客留言区，也能看到这种撕裂。
一位署名 Jörg Neunhäuserer 的学者坦言，自己花了大量时间研究的三个问题被AI解决后，他并没有觉得被剥夺了什么，反而「感到如释重负」。
因为他不必再做这些苦力活了，而且机器证明了他的直觉是对的。
一名代数几何方向的博士生，也对此表示反对。
这场数学末日中，还有一个令人毛骨悚然的疑点。
但是，唯独没有密码学。
为什么？是AI在密码学上碰壁了吗？
Scott Aaronson 透露了一个让人后背发凉的内部消息：各 AI 公司现在已经开始调查，他们最新的内部模型是否能够破解当今世界最重要的密码学协议。
如果 AI 能解密顶级复杂的理论架构，发明连人类顶尖大脑都看不懂的「外星编码」，那么人类的银行加密、网络安全、甚至国家级机密（RSA/AES等），在它面前是不是只是一层纸？
如果它们已经被破解了，在「世界其他地方发现之前，抢先一步做好准备」，这就是此刻各大巨头正闭门秘密做的事。
的=然后他们冲着纳维–斯托克斯来了，我什么也没说，因为我从没研究过纳维–斯托克斯。但当他们冲着 RL 与 L 来了，我意识到事情严重了。
谁能知道，下一个不是自己？
他觉得，这部电影能为孩子们提供最实际的生存指导。
这部电影的名字，叫《终结者2》。
热门跟贴