新智元报道 最近，全世界的数学圈都被AI核爆了。 OpenAI一口气发表了722篇论文。 这些论文虽仍接受核查，但看起来，从唯一博弈猜想到准黎曼假设，许多知名的未解数学难题已攻克了。 数学家一觉醒来，发现自己的研究可能被终结了！ 匈牙利概率论学家Alfred Renyi曾把数学家称为「一台把咖啡变成定理的机器」。如今真有了一台这样的机器，而它用的是数据中心。 而在彭博社知名播客《Odd Lots》的最新一期节目中，麻省理工学院工程教育副院长Justin Solomon直面难题： AI如何颠覆数学界。 OpenAI攻克 Navier-Stokes方程，但人类「读不下去」 AI直接降维打击了人类智力的绝对巅峰「数学」。 这个秋天，人类的智力自尊，被「外星逻辑」击碎了。 当OpenAI解开困扰了人类百年的千禧年大奖难题时，迎来的却不是全人类的狂欢，而是一场巨大的、深不见底的认知恐慌。 因为，哪怕是全球最顶尖的数学家、MIT教授，在读到这份证明的第二页时，也只能绝望地低下头，无奈承认： 「它是对的，但我根本看不懂啊。」 当「真理」与「人类的理解」破天荒地分道扬镳，我们究竟是进化到了神明的门槛，还是彻底沦为了AI圈养的「智力文盲」？ 事情从上个月说起，当时OpenAI的模型给出了千禧年大奖难题——Navier-Stokes（纳维-斯托克斯）方程解失效的反例证明。 Navier-Stokes方程，被称为流体力学的「上帝公式」。 你早晨用勺子搅拌咖啡时奶泡的旋转，台风眼形成时撕裂天空的气流，甚至飞机机翼划过空气时产生的阻力……理论上，全都被这个优美而深奥的方程所支配。 写下这个方程并不难，但过去一百年来，全世界最聪明的大脑都被一个基础问题死死卡住： 如果给定一个平滑的初始状态，这个方程的解，会不会在未来的某个瞬间突然「炸」掉？ 说人话就是：水流会不会在某种极端情况下，突然不按物理常识走，爆发出无限大的速度？为了找到这个答案，克雷数学研究所悬赏了100万美元。 一直以来，人类数学家普遍觉得「不会」。 但OpenAI硬生生给出了一个反例： 存在一种类似「疯狂勺子」的极端搅动方式，理论上能在有限时间内把流体搅到彻底失控。 更具戏剧性的是，这场跨世纪的突破并非AI完全凭空捏造。 此前，西班牙的一群顶尖数学家已经用纸笔构筑了这把「勺子」的主体构造，进度条推到了99%。 而AI，仅仅是凭借它极其恐怖的算力与非人的逻辑推演能力，替人类走完了最后、也是最绝望的那1%。 按理说，这该开香槟了吧？ 但最致命的困境出现了： 这份震古烁今的证明放出来之后，全人类，没人读得下去。 《Odd Lots》的主持人Joe下载了论文，看着那些符号如看天书。 而作为MIT副院长、早年还在皮克斯（Pixar）研究过电影特效背后复杂数学模型的Justin Solomon，在尝试阅读这份证明时， 翻过前两页后，大脑也彻底宕机了。 「那份证明读起来非常吓人，全是密密麻麻的技术细节、极度反直觉的不等式和极端的界限取值。」Solomon坦言。 主持人问他：「这份证明优雅吗？」Solomon苦笑：「大概毫无优雅可言。」 主持人又问：「那它正确吗？」Solomon沉默了一下：「大概是对的。」 几千年来，从欧几里得的几何到牛顿的微积分，在数学的世界里， 「它是对的」和「人类看懂了它」几乎是同义词。 一份绝妙的证明，本身就带着人类理性的光辉与逻辑的诗意。 但今天，这两件事，被AI硬生生地撕裂了。 真理降临了，但它用的是外星语言。 播客里提到了 Uber 创始人 Travis Kalanick 的一个疯狂举动：这位硅谷大佬最近沉迷于和 AI 一起研究物理。 他觉得， 仅仅通过和 AI 聊天，靠着一种所谓的「感觉物理学（Vibe Physics）」，自己就已经逼近了某些重大的物理突破。 但「只靠和机器聊天的直觉，就能搞懂复杂的物理吗？」 细思极恐：陶哲轩的思想实验与「外星逻辑」 如果说数学和物理学理论突破离普通人太远，那么当今世界最伟大的数学家之一、菲尔兹奖得主陶哲轩（Terence Tao），则用一场直击灵魂的思想实验，把这种恐慌推到了每个人的眼前。 就在几天前，他在加州理工学院举办的「Math 2.0」发表了演讲。 陶哲轩的一张幻灯片，引爆全网争议。 他让大家设想这样一个场景： 人类向一台拥有近乎无限算力的超级AI下达了一句提示词（Prompt）—— 「寻找一种能够通过三期临床试验的癌症疗法。」 经过庞大的黑盒运算，AI真的吐出了一个配方。这是一种由若干未知化学成分组成的复杂混合物。AI的数学模型精准预测：只要把这副药剂调配好，注入患者静脉，就能100%消灭所有癌细胞。 更不可思议的是，虽然全人类没有任何一个医学家、化学家知道这个配方 为什么 有效，但AI的推演过程不仅在交互式定理证明工具Lea
