陶哲轩看穿AI解题神话：纳维-斯托克斯背后的非线性爆破

7 岁学微积分，13 岁拿国际数学奥赛金牌，24 岁成为加州大学洛杉矶分校史上最年轻的正教授。 31 岁斩获菲尔兹奖与麦克阿瑟天才奖。 在当代数学界，同行们管陶哲轩叫当世最聪明的数学家。 2014 年，这位天才数学家干了一件脑洞大开的事。 他试图去解流体力学里折磨了人类近百年的纳维-斯托克斯方程。 这道千禧年数学难题问得很简单： 一杯平缓流动的平静清水，会不会在某个瞬间突然失控，速度飙到无穷大，形成物理崩溃的奇点？ 此前所有的顶尖学者，都在试图证明这件事情绝对不可能发生。 因为水有粘滞性。 哪怕水流里卷起微小的涡旋，流体的粘滞阻尼也会不断消耗能量，把动能化作热能散逸掉。 但陶哲轩反其道而行。 他在数学里用流体涡旋搭出了一台虚拟的冯·诺依曼计算机。 这台流体机器会疯狂向更小尺度复制自己，像齿轮组一样，把动能一级级加速灌入微观世界。 当能量向下传递的级联速度，彻底压垮了水本身的粘滞耗散极限。 平静的水流在有限时间内瞬间失控，迎头撞上了无穷大速度的奇点爆破。 在当时，很多人以为这只是一篇纯粹展示智力极限的假想实验。 直到 2026 年 9 月 8 日，OpenAI 突然在科技界引爆了一颗深水炸弹。 他们宣布内部系统动用了 1 万个自主智能体，仅仅跑了 88 个小时，就拿出了纳维-斯托克斯方程的完整机器证明。 社交网络瞬间陷入狂欢。 科技评论区铺天盖地都是同一个论调：人类百年的数学皇冠，被机器在 88 小时内彻底碾碎。 很多人觉得，看到自己深耕十几年的难题被算力攻破，人类学者大概要陷入失落与恐慌了。 偏偏陶哲轩是全天下最早拥抱 AI 的数学顶流。 从精益证明器 Lean 4 到各类大语言模型，他一直在自己的日常研究里深度使用，从来不是顽固的技术怀疑者。 但在 OpenAI 宣布喜讯的三天后，陶哲轩牵头 25 位菲尔兹奖得主，在个人博客上公开发表了一份措辞严厉的联合声明。 陶哲轩给出的诊断只有一句话： 当前 AI 对数学的冲击，正在展现出极度非线性动力学。 为什么一个算力跑出来的世纪答案，反而让全世界最懂这道题的学者深感不安？ 88 个小时攻克世纪难题，难道不该是科学史上值得庆祝的跃进吗？ 问题恰恰出在那台被无限踩死油门的机器上。 很多人习惯用线性思维来看待技术： 过去一个数学家花三十年证明一个猜想，现在 1 万个智能体一天能吐出一万个证明，人类的科学知识不就加速了一万倍？ 这种算法完全脱离了科学运转的真实机理。 在陶哲轩眼里，人类的数学大厦和流体动力学一模一样，必须依靠两股力量的动态平衡来维持稳定。 一股力量叫能量级联。 它是提出猜想、推导逻辑、生成证明候选的推进力。 另一股力量叫粘滞耗散。 它是整个学术共同体去阅读、检验、消化、寻找漏洞，并把几百页艰深推导浓缩成教学工具的过程。 科学世界里那层慢吞吞的同行评议和认知吸收，从来不是效率低下的累赘。 它是整个知识大厦赖以生存的粘滞阻尼。 水流有了粘滞阻尼，才不会动不动就把自己搅碎成无穷大的奇点。 人类文明有了认知的粘滞阻尼，真理才能被一代代学生理解、吸收，并拿去建造桥梁、飞机和芯片。 现在，OpenAI 把能量级联的速度硬生生拉高了一万倍。 黑盒算力在短短 88 小时内，喷涌出几十万行人类肉眼根本无法通读的机器代码。 可全人类顶级数学家的认知带宽，每天依然只有 24 个小时。 当生成的洪流无穷大，消化的阻尼维持原样，整个系统的平衡瞬间被撕碎。 谁来审阅这几十万行复杂的符号？ 哪怕机器真的跑通了逻辑，没有一个人能搞懂它背后的数学直觉究竟是什么。 没有人知道这套新工具该怎么迁移到下一个物理问题上。 更严重的是，学术信用的基石正在被连根拔起。 普林斯顿数学家特里斯坦·巴克马斯特等人很快提出质疑： OpenAI 的这套解法，疑似直接吞噬了他们尚未公开发表的研究思路，却没有给出任何署名与规范引用。 如果科研变成了大公司用海量算力捕获学者的未公开灵感，拼凑出无法被人类验证的黑盒成果，再去华盛顿换取商业资本的掌声。 那这项事业就彻底偏离了求真的轨道。 这不再是认知的拓荒。 这是一场算力巨头追求公关奖杯的流量狩猎。 正如陶哲轩在 2014 年用那台虚拟水计算机证明的那样： 只要系统向下传递能量的速度，彻底超越了它消耗和吸收能量的极限。 再平静、再清澈的水流，最终迎来的也不会是平滑的进化，只会在有限时间内迎头撞上不可逆的崩溃奇点。