OpenAI 发布 Navier–Stokes 方程 AI 解法
OpenAI 发布 Navier–Stokes 千禧年难题 的解答:初始光滑、静止的流体可在光滑外力作用下,于 有限时间 内形成奇点,且总能量保持有限。该结论由尚未发布的下一代内部模型驱动 约一万个 智能体协作 88 小时 得到解答,再由
GPT-6 Astra用 17 小时 完成Lean形式化与验证。OpenAI 已公开证明文稿及形式化证明,并表示不打算申领 千禧年大奖。
OpenAI 宣布,其内部多智能体系统得出了 Navier–Stokes 存在性与光滑性千禧年难题的解答,并公开证明文稿及 Lean 形式化证明。
据其介绍,该证明构造了一个初始光滑、静止的三维不可压缩流体,在光滑外力作用下,流速于有限时间内趋于无穷大,而总能量始终有限,从而确立官方问题表述中的 C、D 两项。
构造中的涡旋不断向内收缩、沿轴向拉长并加速。
该系统使用仍在训练、据称能力显著超过 GPT-6 Astra 的下一代内部模型,约一万个智能体协作约 88 小时得到解答。
再由 GPT-6 Astra 用额外 17 小时完成 Lean 形式化与验证。
Navier–Stokes 求解过程产生约 270 万条消息,消耗约 1300 亿个输出 token。
系统此前还得出了无外力 Euler 方程正则性问题的反证。
OpenAI 承认 Levent Alpöge 与 Tristan Buckmaster 在有外力 Euler 问题上的工作具有优先性,并表示不打算申领此次成果对应的千禧年大奖。



相关链接:











