OpenAI放话:一万个AI代理,用88小时,挖出一个三维N-S方程的“有限时间奇点”。
若最终被严格证明,等于朝悬赏百万美元的千禧年大奖难题,踹开一条门缝。
N-S方程,纳维-斯托克斯方程,管着水和空气怎么流。水杯里的漩涡、机翼边的气流,都归它管。
速度变化=压力+黏性+外力+非线性项,式子不难。难的是非线性:它能把细小扰动越滚越大。三维空间里,涡丝一拉伸就转得更快,像花滑运动员收紧手臂,能量从大涡一路拆到小涡。
克莱数学研究所2000年挂出百万美元问题:从合理初始条件出发,三维N-S方程的解,会在某一刻变成无穷大吗?
如果会,就叫有限时间奇点。说人话:流体把自己卷爆了。
OpenAI找到的候选正是这种角色:流场初始光滑,涡旋向内塌缩,核心转速直冲无穷大,总能量却没发疯。
注意,OpenAI说的是“找到”,不是“证明”。
想拿百万美元,必须证明:网格再密、精度再高,奇点都真实出现,不是计算误差造的幻觉。
这堵墙,人类撞了近百年。
1934年,Leray提出弱解,绕开奇点硬解,只保证“几乎处处光滑”;漏掉的坏点像地雷,一直排不掉。
2014年,陶哲轩在一版动过手术的N-S变体上证明了奇点。可惜,那是改过的模型,原版的门还锁着。
物理上,真实湍流涡丝中心的涡量确实会剧增,像奇点在招手。但物理越乱,数学越难下手。
人脑想初始条件,试个几十种就到顶了。
一万个代理同时生成、筛选、变异,等于把解空间捞了个遍。88小时后,它们捞出候选:涡旋塌缩构型,增速不符合任何已知光滑判据。
DeepMind的AlphaTensor找矩阵乘法、AlphaProof做奥赛题,同一个套路:AI不是比人更懂数学,而是比人会搜。
AI最合适的位置,是“猜想加速器”和“反例侦察兵”。它能喊出“那边有东西”,但不能替你说“这是对的”。
N-S方程不是纯数学。
导弹头热防护、潜艇螺旋桨降噪、高超音速飞行器设计、台风路径预报,底层全靠它。风洞做实验,超算“虚拟吹风”,两头都要吃透N-S方程。
钱学森回国,带回的是流体力学作为国家战略的火种。今天,绵阳JF12激波风洞能复现高超声速飞行条件,全球领先;“神威·太湖之光”和天河系列超算跑过大规模直接数值模拟;AI优化发动机叶片、跑湍流模型,中国也已进场。
北大、复旦、中科院一直有人在流体PDE上深耕,过去多跟国外框架,现在开始敢碰原始问题。OpenAI这次真正的启示,不是AI多神,而是一条新科研流程:大算力+智能搜索+数值验证+人的证明。
E级超算我们有,国产大模型我们有,PDE博士我们也有。缺的,是把它们拧成一股绳的机制。
别急着宣布AI征服千禧年题——那是发令枪,不是终点线。
候选项要过数学家复核,皇冠还是证明者的。
但竞赛确已开始。牌在我们手里,没人会等我们出牌。我们能做的,是永远不下牌桌。
— 感谢阅读 · 欢迎点赞关注 · 小编 —
热门跟贴