数学界炸锅！OpenAI一口气甩出722篇证明，美教授发文称末日来了

你敢信，AI已经把数学家的尊严按在地上反复摩擦了？10月6日，OpenAI没预热没打招呼，直接一次性甩出722篇重大数学难题的完整证明，当场炸翻了整个学术圈。美国顶级CS教授、ACM会士Scott Aaronson直接发长文喊话，这是数学末日来了，全球数学家直接联合起来集体抵制，连陶哲轩都下场转发声明跟OpenAI撕破脸。

这事说出来真的扎心，喊出“数学末日”的Scott Aaronson，自家9岁儿子都能对着妈妈嘲讽。他妈妈是知名复杂性理论家Dana Moshkovitz，一辈子都在啃苏巴什·霍特唯一博弈猜想，也就是圈内人说的UGC。这个猜想困扰学界几十年，这次直接被AI整出了完整证明，童言无忌的一句“被机器人秒杀了”，直接扎得人说不出话。

这可不是Dana一个人的遭遇，OpenAI这波相当于直接清掉了人类顶级题库里5%的难题。随便拎出来一个成果，都是能拿领域年度最佳的级别。比如证明了概率对数空间和确定性对数空间是一回事，直接了结了理论计算机界悬了几十年的案子。还有矩阵乘法算出了O(n^(9/4))的时间复杂度，打破了这么多年没动静的僵局，用的方法还是人类完全没想过的路子。

更离谱的是搞定这些的成本，做出这些证明的，只是OpenAI准备给付费用户推出的内部GPT-Pro级别模型。平均每个顶级难题，AI只花了大约3个小时算力，也就人类慢悠悠喝两杯咖啡的功夫。这个效率放在过去，说出去根本没人敢信。

更让数学家绝望的是，AI写出来的证明，人类根本看不懂。Dana翻完UGC的证明，直接说这感觉就像嗑了致幻剂的人写的，到处都不清晰不合逻辑。AI还整出了一种全新的、从来没见过的奇异编码方式，说它不是长码也不是短码，简直就是外星来的疯狂玩意儿。现在人类数学家得找另一个AI帮忙翻译梳理，想想都够荒诞。

《量子杂志》有个比喻说得特别戳人，你直接被传送到高山顶，没爬过山，没经历过缺氧，也没磨过爬山的工具，就这么凭空站在那。传送你的机器告诉你它比谁都懂这座山，可真理就在那，人类却把攀登的过程彻底丢了。这个问题抛出来，谁都答不上来，当用非人类的方式解决了问题，我们说“真正懂了”到底是什么意思。

为啥全球数学家一夜之间全跟OpenAI对着干？真不是大家输不起，是OpenAI这操作确实太不给留余地了。之前OpenAI说解开了千禧难题，陶哲轩就已经察觉到不对，联合25位菲尔兹奖得主发呼吁，让商业公司慢下来。说白了大家都觉得，AI瞎加速根本没想过后果，完全没必要赶这么急。结果OpenAI根本没把这些顶级大牛的警告当回事，转头就扔了722份证明过来，直接打了整个数学界的脸。

全球顶尖数学家自发搞了个人类数学协会AHM，宗旨就是守住人类对数学本质的理解，别让无节制的暴力算力把学术规范冲没了。这次联合声明直接把话撂得特别狠，没人求你OpenAI做这些，也没人求你解这些证明。一次性扔七百多份文件，根本算不上科研，就是炫耀算力霸权罢了。他们还呼吁所有数学家别跟OpenAI合作，回到以人类理解为核心的科研路子上来。

这事本来就是撕裂的，圈内吵得不可开交，有人喷也有人挺。有人说要是AI能搞定几百种绝症，医学界早就乐开花欢迎了，怎么到数学就不行了。还有瑞士洛桑联邦理工的教授直接说，数学的一部分已经死了。这话够狠，但也确实说出了不少人的真实感受。

图灵奖得主LeCun就不站数学家这边，他的看法反倒挺乐观。他说数学哪里是末日，明明是迎来了前所未有的全新大时代。形式证明可以交给AI自动做，人类没必要抢这个苦力活，未来大家就去发展新概念新猜想不就行了。他还打了个比方，船发明出来，确实降低了人类自己游泳的重要性，但船能带人类发现全新的大陆啊。

陶哲轩的博客留言区也能看到这种明显的分裂，有人觉得被AI抢了成果，有人反倒松了口气。有学者说自己花了好多年研究的三个问题被AI解决了，没觉得被剥夺什么，反而如释重负。不光不用再做重复苦力了，还证明了自己当初的直觉是对的，这不挺好吗。也有年轻的代数几何博士生不认同，站在抵制的一边，各说各的理谁也说服不了谁。

这事说到这，还有个让人后背发凉的疑点，OpenAI这七百多篇证明覆盖了数论、组合数学、量子复杂性几乎所有领域，偏偏就缺了密码学。为什么偏偏缺了这块？是AI在密码学上碰钉子了吗？Scott Aaronson爆了个内部消息，说现在各大AI公司都在偷偷测试，自己最新的内部模型能不能破解现在全世界最重要的密码学协议。

想想真的吓人，AI都能搞出人类看不懂的“外星编码”，都能搞定几十年啃不动的数学猜想，那现在我们用的RSA、AES加密，不管是银行转账、网络安全还是国家级机密，在AI面前会不会就是一层一捅就破的窗户纸？现在各大科技巨头都关起门偷偷搞，就是想在全世界发现之前，先给自己做好准备。谁也说不准，现在是不是已经破解了，只是没人敢把消息放出来。

Scott Aaronson自己也慌，他说之前OpenAI碰纳维–斯托克斯问题的时候，他没说话，因为他不研究这个方向。等到AI碰到他自己深耕的领域了，他才反应过来事情已经严重到控制不住了。谁也不知道，下一个被AI端了饭碗的，会不会是自己。

据说那个被震惊的晚上，Scott Aaronson没接着啃那些像外星文一样的论文，直接关了电脑，陪孩子们看了场电影。他说这部电影能给孩子们最实在的生存指导，电影名字是《终结者2》。这话细想，真的有点让人起鸡皮疙瘩。

参考资料：澎湃新闻 OpenAI发布722篇数学证明引发学界争议