AI 连破数学世纪壁垒：从流体力学奇点到颠覆半世纪的乘法极限

把两个特别长的数字乘在一起，最快能有多快？ 从小学算盘到现代超级计算机，人类用了半个世纪，一直以为自己摸到了底牌。 两个 n 位的数字相乘，计算步数的极限，必须是 n 乘以 log n。 全世界做计算复杂性理论的顶尖学者，几乎都相信这是一道不可逾越的铁律。 结果这个立了五十年的数学天花板，前几天被 AI 一拳砸穿了。

前 OpenAI 理论研究员、得州大学奥斯汀分校的计算复杂性学者 Scott Aaronson，最近在博客上连发长文，甚至直接把这一轮技术冲击称为数学末日（The Mathocalypse）。 熟悉他的人都知道，Aaronson 平时对各种人工智能炒作极度克制，一生都在跟计算极限打交道。 但这次，连他也坐不住了。 AI 这次一口气打破了乘法的计算极限，还顺带撼动了现代计算的另一根顶梁柱。 更震撼的是，就在一个月前，千禧年七大数学难题之一的 Navier-Stokes 方程，也被攻下了一个极其关键的角。

先说水。 Navier-Stokes 方程是整个流体力学的基石。 从 1822 年法国人 Navier 提出，到 1845 年英国人 Stokes 完善，人类算天气预报、造大飞机、模拟洋流，用了快两百年。 克雷数学研究所在 2000 年设了七个千禧年数学大奖，每个悬赏 100 万美元，其中一个就是这个方程。 它问了一个很朴素的问题：一盆原本平缓流动的水，在经典物理定律下，会不会在某一刻突然炸掉？ 学术上的说法叫有限时间奇点。 打个比方，如果水是一种完全连续、无限可分的流体，没有任何分子缝隙，你在它平滑流动的时候稍微给一点平滑的外力扰动，它会不会在极短的时间里，某个局部的流动速度直接飙升到无穷大？ 两百年来，大多数直觉都倾向于不会，水流怎么可能在有限时间里加速到无限快？ 但 AI 构造出了一套 160 多页的完整证明，而且在交互式定理证明工具 Lean 里全体验算通过。 证明显示：在特定的平滑外力驱动下，经典流体方程确实会在有限时间内产生奇点。 某些局部的水滴，按照牛顿经典力学的数学模型，速度真的会飙到无穷大。 现实里的水当然不会超光速，因为真实的水是由一个个水分子构成的，到了微观尺度有量子力学和原子碰撞接盘。 但这个证明在数学上给人类上了一课：原来我们用了两百年的经典流体方程，底层居然藏着可以加速到无穷大的奇点。

如果说流体力学奇点已经让物理学家后背发凉，那乘法和傅里叶变换的突破，就直接拆到了整个信息文明的底座。 乘法有什么好研究的？ 小学老师教的竖式，大家都会。 两个 100 位的数字相乘，每个位都要跟对方的每个位乘一遍，大概要算 1 万次，也就是 n 的平方步。 如果要算 1 亿位的数字相乘呢？ 1 亿的平方是一百亿亿步，哪怕最顶级的芯片也得算到冒烟。 为了给大数乘法提速，数学家们想尽了办法。 1971 年，数学家 Schönhage 和 Strassen 找到了巧妙的捷径，把乘法转换成傅里叶变换来算，直接把步数砍到了接近 n log n。 他们当时提出了一个著名的猜想：n log n 就是乘法的天花板，宇宙里不可能有比这更快的乘法算法。 为了把最后的尾巴彻底去掉、逼近这个极限，人类数学家整整熬了 48 年，直到 2019 年才终于证明了精确的 n log n 算法。 当时大家都觉得，这下终于大功告成了，乘法的终点就是 n log n。 结果这次 OpenAI 放出的 AI 成果里，赫然躺着一个新算法：两个 n 位数相乘的时间，严格小于 n log n。 具体复杂度大约是 n 乘以 log n 的 0.9999999999999 次方。 很多人可能会笑：0.999 后面带一串 9，这跟 1 有什么差别？实用中有意义吗？ 在实际工程里，它现在确实派不上用场。 如果要让这个新算法真正比传统算法更快，数字的位数可能要大到超过整个宇宙的原子总数。 但 Aaronson 专门提醒大家：数学研究的价值，从不取决于明天能不能装进手机。 这一丁点微小的指数差距，推翻的是人类半个世纪以来的数学直觉：那堵被大家当成铁律的高墙，其实从来就不存在。

更要命的是，这个新算法同样改写了离散傅里叶变换。 傅里叶变换是整个现代电子文明的苦力马车。 你的手机接收 5G 信号、Wi-Fi 数据传输、降噪耳机抹掉杂音、医疗核磁共振成像、图像压缩，后台全天二十四小时都在跑傅里叶变换。 从 1965 年快速傅里叶变换被发明以来，大家也一直被挡在 n log n 的门槛外。 我们甚至根本不知道世界上到底存不存在超越 n log n 的傅里叶算法。 现在 AI 明确给出了答案：存在。

最让数学界感到震撼的，其实是研究范式的彻底逆转。 这次放出的海量突破，很多证明动辄上百页，从第一行到最后一行全被机器逻辑锁死，严密得挑不出半点漏洞。 但对于人类学者来说，这些推导就像外星文明留下的密码。 过去是人类提出精巧的数学直觉，一步步写下证明，再让计算机跑跑数值实验。 现在反过来了：AI 直接把最终答案和庞大的逻辑迷宫端到桌上，人类顶尖的数学家们得组织专门的研讨班，甚至得再借助其他 AI 工具，才能慢慢搞懂这台机器到底是怎么想出来的。 Aaronson 在博客里写了一句话，大意是：人类作为地球上主要定理证明者的时代，可能真的要画上句号了。 奇点没有轰轰烈烈地在街头降临。 它先悄无声息地钻进了人类最骄傲、最严密的纯数学堡垒里。