OpenAI AI系统证明纳维-斯托克斯方程存在奇点

OpenAI解出了一道千禧年大奖难题：纳维—斯托克斯（Navier-Stokes）方程的存在性与光滑性问题。

这组方程是物理学里用来描述水流、空气等流体如何运动的基础规律。近百年来，数学家们一直想弄清楚一个核心疑问：即便流体一开始运动得很平稳，在后续变化中，速度会不会在有限时间内彻底失控并无限飙升，导致原本适用的连续介质理论彻底失效？如果流速变得无限大，数学上就叫作出现了“奇点”。

OpenAI 的 AI 系统证明了奇点确实会在有限时间内产生。AI 构造出了一种特殊的流体漩涡，它像细长面条一样一边向内螺旋收缩，一边被拉得越来越长。在整个过程中，外界施加的作用力和流体的总能量都保持正常且有限，但流体中心区域的速度却自发地飙升到了无限大。这相当于用反例证实了原本平滑的流动确实会崩溃，同时 OpenAI 也用 Lean 语言完成了严格的形式化机器证明。

整个证明过程使用了一万个Agent，Agent之间相互发送了约 270 万条消息，消耗了大约 1300 亿token。