作者慕容料先生以一位毕生与纳维-斯托克斯(Navier–Stokes)方程打交道的科学家身份,将我们带回了那个凭借直觉与数值模拟探索未知的年代。他笔下的“海飓风”,是物理学家在计算机屏幕前捕捉到的、通往奇点的一抹惊鸿,是科学探索中灵光一现的“艺术品”。
而今天,OpenAI用约一万个智能体、88小时的运算,将这份直觉与猜想,锻造成了严谨的数学证明。这不仅是AI能力的展示,更象征着科学研究范式的一次深刻转变——从依赖个人洞见的“手工作坊”,迈向了由算力驱动的“大科学”时代。
当物理学家为“海飓风”的证实而狂欢时,数学家们或许正五味杂陈。这声来自AI的宣告,既是对人类智慧的致敬,也是一次超越。它提醒我们,探索未知的旅程上,新的伙伴已经登场,而前方的风景,或将远超我们的想象。
上周,OpenAI用约1万个AI智能体,运行88小时,首次给出了Navier–Stokes方程有限时间奇点存在性的数学证明。
我跟Navier–Stokes方程打了一辈子交道。多年前,用数值模拟研究黑潮eddy shedding(漩涡脱落)现象时,曾有意把摩擦参数逐渐调小。我观察到,在每次计算blow up(崩溃)之前,甩出去的涡旋有变小变强的趋势——仿佛在向某个极限逼近。当时隐约觉得,如果网格能无限缩小、摩擦不断减弱,最终会出现一个“奇点”。我私下叫它“海飓风”——记得还用彩色点阵打印机打出一张漂亮的海飓风,裱成一件“艺术品”。这些年来,“艺术品”早就丢了,但那张记录着数值解崩塌临界点的画面却仍历历在目。
物理直觉不等于数学证明。OpenAI做到的正是跨过了这道鸿沟——我意识到的Navier–Stokes方程可能存在的“幽灵”正是困惑了人类九十多年的六大数学难题之一。如今,它竟被AI 用88小时抓了出来——物理界在狂欢,数学家是不是……在哭?
祝贺OpenAI。
2026年9月18日
作者:慕容料
作者授权,世说文丛首发
慕容料更多作品
世说文丛总索引

评论