OpenAI 证明纳维-斯托克斯方程存在有限时间奇点

内部多智能体系统经17小时形式化验证，解决该世纪难题，动用了约1万个并发智能体。

据 Woofun AI 消息，OpenAI 于 9 月 8 日宣布，其内部多智能体系统已成功证明三维不可压缩纳维-斯托克斯方程在有限时间内可形成奇点，从而解决了该世纪难题。该证明由 OpenAI 内部一个比 GPT-6 Astra 能力更强的模型驱动，并于 9 月 5 日获得初步结果，随后经过 17 小时的 Lean 形式化验证。

OpenAI 表示，该证明展示了在光滑外力作用下，静止流体可演化出向内螺旋并拉伸的涡旋结构，其能量保持有限但速度无界增长，对应千年奖问题中的 'C' 和 'D' 情形。整个求解过程动用了约 1 万个并发智能体，发送约 270 万条消息，消耗约 1300 亿输出 token。OpenAI 承认此次尝试受到有关 Anthropic 员工 Levent Alpöge 和 NYU 教授 Tristan Buckmaster 并行工作的传闻启发，并称双方在欧拉方程正则性问题上结果不同，OpenAI 证明了无外力情形，而对方证明了有外力情形。