OpenAI总裁格雷格·布罗克曼引用偏微分方程专家斯科特·阿姆斯特朗的评价,称该公司关于三维不可压缩纳维-斯托克斯方程有限时间光滑爆破解的论文“在技术层面令人难以置信,或许超出人类所能想出的范围,但并未超出人类理解”。该结果由内部下一代模型驱动的约1万个智能体在88小时内完成,并经Lean形式化验证。
传统凸积分方法通常手工搭建振荡,迭代生成粗糙弱解;阿尔布里顿-布鲁埃-科隆博的非唯一性构造依赖不稳定涡旋分裂解;科尔多巴-马丁内斯-佐罗亚的奇性则通过应变跨尺度放大涡量。OpenAI的做法不同:它巧妙设计一种流体不稳定性,让流动自身从背景剪切中汲取能量生成振荡,雷诺应力随之成为驱动光滑涡旋坍缩的力,最终得到光滑而非粗糙的外力。这种用物理不稳定性制造应力的方式文献中并无先例,尽管部分相关思想(如1983年的莱博维奇-斯图尔森)早已存在,但组合方式全新。结果是:从静止出发、动能始终有界、速度在有限时间内无界的光滑解,对应千禧年问题表述中的C与D选项。多组偏微分方程专家已在消化该证明,并表示大致理解。
AI在此扮演的不是替代证明者,而是提出人类此前未设想的路径组合者。真正的门槛正在从“想到”转向“验证与消化”。
