AI"证明有奇点"的不是杯里的水自己会炸。OpenAI模型构造出的,是在允许施加光滑外力的情形下、纳维-斯托克斯千禧年问题的有限时间爆破反例,这份证明的独立验证与学术接受状态至今仍存在重大争议,克雷研究所也仍把该问题列为"进行中"。 对航空、汽车、气象这些流体相关行业,结论可以先给出:短期内几乎不变。知乎
这桩悬了快两个月旧事重上热榜,是因为11月3日OpenAI CEO奥特曼在ADIPEC 2026大会上确认,破解NS方程的内部模型就是下一代GPT、即将发布。36氪
AI到底证明了什么:带外力的"爆破"
千禧年难题问的是:一个完全光滑的三维不可压缩流体,速度会不会在有限时间内冲向无穷?OpenAI在9月8日公布的答案走的是"会"这条路,答卷是约一万个AI智能体、88小时、166页论文。 构造的画面是:在一股始终温和、不能有任何猛推的光滑外力推动下,漩涡的核心区域持续收缩、流体速度不断增加,最终在有限时间内形成奇点,整个过程中流体能量仍然保持有限。36氪知乎
要紧的是这份证明的适用范围:A/B针对的是无外力这一更纯粹、物理上更根本的情形,C/D则允许人为施加一个光滑的外力来"驱动"爆破,而AI命中的是有外力的反例分支,无外力一侧没有被触及。 一个月后还出现了反转:起初外界以为AI沿用了西班牙数学家的构造路线,《科学美国人》采访的多组专家细看之下发现方法并不相同——它更像"凸积分"家族,区别在于维持爆破所需的振荡不再靠数学家手工搭建,而是由流体自身的不稳定性自发产生,相当于"让水自己搅自己"。知乎36氪
核验只走完上半场
9月11日,克雷数学研究所曾表示这项工作"看起来已经解决"了该问题,但按照大奖规则,论文仍需经过评审和长期检验,目前并没有宣布奖金归属。 10月26日,法国国家科学研究中心研究主任、纽约大学库朗研究所数学家Scott Armstrong转述,几组正在研究这份证明的偏微分方程专家,已经基本读懂了其中的思路。知乎36氪
读懂思路和确认全对是两件事。10月6日,Bastounis、Circelli和Hansen三位研究者发表预印本,指出原稿与Lean形式化版本的部分陈述和推导存在差异——机器验证能保证每一步没算错,却保证不了"题目没抄错"。 所以即便只看有外力这一支,数学界迄今给出的也只是"提案":OpenAI提交的也只是一份存在严重争议、尚未获得数学界共识性接受的提案,不是已确认的"解"。36氪知乎
为什么行业照旧:方程会爆,飞机照飞
对航空、汽车、船舶、气象、工艺管道这些行业,这份证明的近期直接影响接近于零,Nature旗下《通讯-物理》的社论给了句一行判断:方程爆炸了,飞机照飞。 关键原因在尺度:按照这套构造,应用数学家George Karniadakis估算,对于空气而言,奇点出现时漩涡核心的宽度大约只有70纳米,已经接近空气分子之间典型的平均自由程——NS方程"把流体当连续介质"的近似在这个尺度上率先失效,工程尺度的流场离它还差好几个数量级。 数学奇点不等于现实中"水会爆炸",日常CFD仿真用的网格、湍流模型和求解软件,都不需要因此推倒重来。36氪知乎
被撬动的是科研方式,不是行业工具。一条既有路线会因此走得更清楚:大尺度用纳维-斯托克斯方程、更小尺度用分子动力学、再用中间层模型连接两者,专门应对连续介质假设失效的极端情形。 OpenAI方面还称,攻下NS的同一套能力正被用来设计新材料、新涡轮——这是厂商单方面说法、尚未得到验证,但若成立,最先被改写的是研发节奏而非方程本身。知乎36氪
另一侧,机器学习早已渗入流体仿真:用神经算子学习流体方程的长期演化、用机器学习建立湍流闭合模型,甚至把神经网络直接嵌入传统CFD求解器。 但学界并未准备好为这种速度鼓掌,陶哲轩公开表态数学不该被AI"掠夺式开采",并与邓煜一起呼吁"慢科研":AI能给出证明,不代表人类真正理解了这道题。知乎36氪
行业真要"变",盯住这几个信号
这份证明到改写工程实践之间,还隔着几道必须有人跨过的门槛。按Constantin等新论文的分析,这套构造不能直接推广到无外力情形,要回答更根本的问题恐怕还需要全新的想法。 接下来值得盯的:论文能否正式通过同行评议、克雷研究所能否把状态从"进行中"改口;Lean版与文字稿的差异能否逐条澄清;以及"让水自己造振荡"的手法会不会外溢成湍流建模的新素材。在那之前,流体相关行业不需要变阵——真正该关注的不是"方程会不会爆",而是这几道门槛被跨过的那一天。36氪