MIT教授绝望：OpenAI攻克的千禧年难题，人类已经看不懂了！

新智元报道

最近，全世界的数学圈都被AI核爆了。

一口气发表了722篇论文。

这些论文虽仍接受核查，但看起来，从唯一博弈猜想到准黎曼假设，许多知名的未解数学难题已攻克了。

数学家一觉醒来，发现自己的研究可能被终结了！

匈牙利概率论学家 Renyi曾把数学家称为「一台把咖啡变成定理的机器」。如今真有了一台这样的机器，而它用的是数据中心。

而在彭博社知名播客《Odd Lots》的最新一期节目中，麻省理工学院工程教育副院长 直面难题：

AI如何颠覆数学界。

攻克-方程，但人类「读不下去」

AI直接降维打击了人类智力的绝对巅峰「数学」。

这个秋天，人类的智力自尊，被「外星逻辑」击碎了。

当解开困扰了人类百年的千禧年大奖难题时，迎来的却不是全人类的狂欢，而是一场巨大的、深不见底的认知恐慌。

因为，哪怕是全球最顶尖的数学家、MIT教授，在读到这份证明的第二页时，也只能绝望地低下头，无奈承认：「它是对的，但我根本看不懂啊。」

当「真理」与「人类的理解」破天荒地分道扬镳，我们究竟是进化到了神明的门槛，还是彻底沦为了AI圈养的「智力文盲」？

事情从上个月说起，当时的模型给出了千禧年大奖难题——-（纳维-斯托克斯）方程解失效的反例证明。

-方程，被称为流体力学的「上帝公式」。

你早晨用勺子搅拌咖啡时奶泡的旋转，台风眼形成时撕裂天空的气流，甚至飞机机翼划过空气时产生的阻力……理论上，全都被这个优美而深奥的方程所支配。

写下这个方程并不难，但过去一百年来，全世界最聪明的大脑都被一个基础问题死死卡住：如果给定一个平滑的初始状态，这个方程的解，会不会在未来的某个瞬间突然「炸」掉？

说人话就是：水流会不会在某种极端情况下，突然不按物理常识走，爆发出无限大的速度？为了找到这个答案，克雷数学研究所悬赏了100万美元。

一直以来，人类数学家普遍觉得「不会」。

但硬生生给出了一个反例：存在一种类似「疯狂勺子」的极端搅动方式，理论上能在有限时间内把流体搅到彻底失控。

更具戏剧性的是，这场跨世纪的突破并非AI完全凭空捏造。

此前，西班牙的一群顶尖数学家已经用纸笔构筑了这把「勺子」的主体构造，进度条推到了99%。而AI，仅仅是凭借它极其恐怖的算力与非人的逻辑推演能力，替人类走完了最后、也是最绝望的那1%。

按理说，这该开香槟了吧？

但最致命的困境出现了：这份震古烁今的证明放出来之后，全人类，没人读得下去。

《Odd Lots》的主持人Joe下载了论文，看着那些符号如看天书。

而作为MIT副院长、早年还在皮克斯（Pixar）研究过电影特效背后复杂数学模型的 ，在尝试阅读这份证明时，翻过前两页后，大脑也彻底宕机了。

「那份证明读起来非常吓人，全是密密麻麻的技术细节、极度反直觉的不等式和极端的界限取值。」坦言。

主持人问他：「这份证明优雅吗？」苦笑：「大概毫无优雅可言。」

主持人又问：「那它正确吗？」沉默了一下：「大概是对的。」

几千年来，从欧几里得的几何到牛顿的微积分，在数学的世界里，「它是对的」和「人类看懂了它」几乎是同义词。

一份绝妙的证明，本身就带着人类理性的光辉与逻辑的诗意。

但今天，这两件事，被AI硬生生地撕裂了。真理降临了，但它用的是外星语言。

播客里提到了 Uber 创始人 的一个疯狂举动：这位硅谷大佬最近沉迷于和 AI 一起研究物理。

他觉得，仅仅通过和 AI 聊天，靠着一种所谓的「感觉物理学（Vibe ）」，自己就已经逼近了某些重大的物理突破。

但「只靠和机器聊天的直觉，就能搞懂复杂的物理吗？」

细思极恐：陶哲轩的思想实验与「外星逻辑」

如果说数学和物理学理论突破离普通人太远，那么当今世界最伟大的数学家之一、菲尔兹奖得主陶哲轩（ Tao），则用一场直击灵魂的思想实验，把这种恐慌推到了每个人的眼前。

就在几天前，他在加州理工学院举办的「Math 2.0」发表了演讲。

Slide链接：

陶哲轩的一张幻灯片，引爆全网争议。

他让大家设想这样一个场景：

人类向一台拥有近乎无限算力的超级AI下达了一句提示词（）——「寻找一种能够通过三期临床试验的癌症疗法。」

经过庞大的黑盒运算，AI真的吐出了一个配方。这是一种由若干未知化学成分组成的复杂混合物。AI的数学模型精准预测：只要把这副药剂调配好，注入患者静脉，就能100%消灭所有癌细胞。

更不可思议的是，虽然全人类没有任何一个医学家、化学家知道这个配方为什么有效，但AI的推演过程不仅在交互式定理证明工具Lean中得到了无懈可击的形式化验证，甚至在现实世界中，这副药剂也硬生生通过了极其严格的FDA三期临床试验。

现在，选择权交到了你的手上：如果这管连顶尖科学家都看不懂机制的「神药」摆在面前，你敢不敢把它打进自己的静脉？

陶哲轩将前沿AI在「对齐（）」与「可解释性」上的核心困境，极其辛辣地摆上了台面。

在这个思想实验中，这套AI方案有没有可能存在致命漏洞？它会不会仅仅是通过钻了人类「三期临床试验」的规则漏洞，用一种人类完全无法理解的「外星逻辑」来达成了字面上的目标？

你会不会在针管扎入皮肤前大喊停下，坚持要求：必须至少有一名人类肿瘤专家完全看懂它的治愈机制，或者至少有一名人类数学家彻底理解AI定位配方的数学模型！

或许癌症晚期患者并不关心背后机制，但问题是疗效要如何确定？

这正是解出-方程所揭示的恐怖未来：前沿AI的数学推导能力，已经逼近甚至超越了人类认知的上限。「人类验证AI」的传统科研范式，正在遭遇硬性物理撞墙。

比起攻克千年难题，更震撼、也更令人不安的，是AI生成的那些充斥着反直觉跳跃、毫无美感可言的「外星逻辑」证明。

崩塌的旧世界：谁有算力，谁拿诺贝尔？

当AI的生产力开始呈指数级暴涨，而人类的验证能力却停滞不前时，最先崩盘的，是我们引以为傲了几百年的学术审查系统。

在播客中，报出了一组令人窒息的数字：机器学习领域的顶级会议ICLR，十年前只有一两千份投稿；而今年，投稿量如海啸般暴增到了六万份！

评审委员们需要在短短一两个月内，消化完这些充斥着AI生成痕迹的论文。

「连PDF都来不及点开。」苦笑。

人类精英的算力枯竭了，审稿彻底沦为走过场，学术质量的印章随之失灵。

甚至有高中生靠着AI一键包装的华丽履历，堂而皇之地混进了顶级会议的审稿人队伍里，去评审那些大学教授的论文。

更让这位MIT副院长头疼的是，他的邮箱现在成了重灾区。

每天都有陌生人发来邮件：「教授，我好像证明了一个新结果，AI说这个推导很重要，能帮我验证一下吗？」

模型天生喜欢「顺着人说话」，这在要求绝对严谨的数学领域是极其致命的。因为数学那高耸入云的门槛，原本就是为了拦住那些「看着像对，其实狗屁不通」的伪科学。现在，AI把伪科学包装成了真理的模样，大规模向人类发起DDoS攻击。

随之而来的，是更残酷的阶级固化：做科研，开始拼钱包和算力了。

如果照这个势头发展下去，未来的数学大奖、诺贝尔奖，规则将被彻底改写：「谁买的Token多，谁手握的GPU算力强，谁就能先找到答案。」

我们可以算一笔账：

一个普通的大学数学教授，辛辛苦苦用纸笔推导出了一个方向的雏形，还没等发表验证；那些「控制着算力水龙头」的科技巨头们（比如、），用着比大学实验室领先至少两代的内部未发布模型，顺着教授在网上走漏的哪怕一点点思路，在一周内，就强行用几万张显卡的算力撞出了最终结果。