{"id":"mb-20261017-ef3ea1","kind":"deep","title":"AI 连破数学世纪壁垒：从流体力学奇点到颠覆半世纪的乘法极限","summary":"前 OpenAI 理论学者 Scott Aaronson 剖析最新 AI 数学突破：继一个月前 Navier-Stokes 方程被证出有限时间奇点后，AI 又找到了打破五十年 n log n 铁律的大数乘法与傅里叶变换新算法，彻底逆转了人类数学的研究范式。","body":"把两个特别长的数字乘在一起，最快能有多快？\n从小学算盘到现代超级计算机，人类用了半个世纪，一直以为自己摸到了底牌。\n两个 n 位的数字相乘，计算步数的极限，必须是 n 乘以 log n。\n全世界做计算复杂性理论的顶尖学者，几乎都相信这是一道不可逾越的铁律。\n结果这个立了五十年的数学天花板，前几天被 AI 一拳砸穿了。\n\n前 OpenAI 理论研究员、得州大学奥斯汀分校的计算复杂性学者 Scott Aaronson，最近在博客上连发长文，甚至直接把这一轮技术冲击称为数学末日（The Mathocalypse）。\n熟悉他的人都知道，Aaronson 平时对各种人工智能炒作极度克制，一生都在跟计算极限打交道。\n但这次，连他也坐不住了。\nAI 这次一口气打破了乘法的计算极限，还顺带撼动了现代计算的另一根顶梁柱。\n更震撼的是，就在一个月前，千禧年七大数学难题之一的 Navier-Stokes 方程，也被攻下了一个极其关键的角。\n\n先说水。\nNavier-Stokes 方程是整个流体力学的基石。\n从 1822 年法国人 Navier 提出，到 1845 年英国人 Stokes 完善，人类算天气预报、造大飞机、模拟洋流，用了快两百年。\n克雷数学研究所在 2000 年设了七个千禧年数学大奖，每个悬赏 100 万美元，其中一个就是这个方程。\n它问了一个很朴素的问题：一盆原本平缓流动的水，在经典物理定律下，会不会在某一刻突然炸掉？\n学术上的说法叫有限时间奇点。\n打个比方，如果水是一种完全连续、无限可分的流体，没有任何分子缝隙，你在它平滑流动的时候稍微给一点平滑的外力扰动，它会不会在极短的时间里，某个局部的流动速度直接飙升到无穷大？\n两百年来，大多数直觉都倾向于不会，水流怎么可能在有限时间里加速到无限快？\n但 AI 构造出了一套 160 多页的完整证明，而且在交互式定理证明工具 Lean 里全体验算通过。\n证明显示：在特定的平滑外力驱动下，经典流体方程确实会在有限时间内产生奇点。\n某些局部的水滴，按照牛顿经典力学的数学模型，速度真的会飙到无穷大。\n现实里的水当然不会超光速，因为真实的水是由一个个水分子构成的，到了微观尺度有量子力学和原子碰撞接盘。\n但这个证明在数学上给人类上了一课：原来我们用了两百年的经典流体方程，底层居然藏着可以加速到无穷大的奇点。\n\n如果说流体力学奇点已经让物理学家后背发凉，那乘法和傅里叶变换的突破，就直接拆到了整个信息文明的底座。\n乘法有什么好研究的？\n小学老师教的竖式，大家都会。\n两个 100 位的数字相乘，每个位都要跟对方的每个位乘一遍，大概要算 1 万次，也就是 n 的平方步。\n如果要算 1 亿位的数字相乘呢？\n1 亿的平方是一百亿亿步，哪怕最顶级的芯片也得算到冒烟。\n为了给大数乘法提速，数学家们想尽了办法。\n1971 年，数学家 Schönhage 和 Strassen 找到了巧妙的捷径，把乘法转换成傅里叶变换来算，直接把步数砍到了接近 n log n。\n他们当时提出了一个著名的猜想：n log n 就是乘法的天花板，宇宙里不可能有比这更快的乘法算法。\n为了把最后的尾巴彻底去掉、逼近这个极限，人类数学家整整熬了 48 年，直到 2019 年才终于证明了精确的 n log n 算法。\n当时大家都觉得，这下终于大功告成了，乘法的终点就是 n log n。\n结果这次 OpenAI 放出的 AI 成果里，赫然躺着一个新算法：两个 n 位数相乘的时间，严格小于 n log n。\n具体复杂度大约是 n 乘以 log n 的 0.9999999999999 次方。\n很多人可能会笑：0.999 后面带一串 9，这跟 1 有什么差别？实用中有意义吗？\n在实际工程里，它现在确实派不上用场。\n如果要让这个新算法真正比传统算法更快，数字的位数可能要大到超过整个宇宙的原子总数。\n但 Aaronson 专门提醒大家：数学研究的价值，从不取决于明天能不能装进手机。\n这一丁点微小的指数差距，推翻的是人类半个世纪以来的数学直觉：那堵被大家当成铁律的高墙，其实从来就不存在。\n\n更要命的是，这个新算法同样改写了离散傅里叶变换。\n傅里叶变换是整个现代电子文明的苦力马车。\n你的手机接收 5G 信号、Wi-Fi 数据传输、降噪耳机抹掉杂音、医疗核磁共振成像、图像压缩，后台全天二十四小时都在跑傅里叶变换。\n从 1965 年快速傅里叶变换被发明以来，大家也一直被挡在 n log n 的门槛外。\n我们甚至根本不知道世界上到底存不存在超越 n log n 的傅里叶算法。\n现在 AI 明确给出了答案：存在。\n\n最让数学界感到震撼的，其实是研究范式的彻底逆转。\n这次放出的海量突破，很多证明动辄上百页，从第一行到最后一行全被机器逻辑锁死，严密得挑不出半点漏洞。\n但对于人类学者来说，这些推导就像外星文明留下的密码。\n过去是人类提出精巧的数学直觉，一步步写下证明，再让计算机跑跑数值实验。\n现在反过来了：AI 直接把最终答案和庞大的逻辑迷宫端到桌上，人类顶尖的数学家们得组织专门的研讨班，甚至得再借助其他 AI 工具，才能慢慢搞懂这台机器到底是怎么想出来的。\nAaronson 在博客里写了一句话，大意是：人类作为地球上主要定理证明者的时代，可能真的要画上句号了。\n奇点没有轰轰烈烈地在街头降临。\n它先悄无声息地钻进了人类最骄傲、最严密的纯数学堡垒里。","topic":"AI 连破数学世纪壁垒：从流体力学奇点到颠覆半世纪的乘法极限","frame_type":["机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-10-17 08:16:54","legal_anchor_count":0,"transcript_citation_count":0}