关于纳维-斯托克斯千禧年大奖难题

本文宣布，OpenAI内部开发的一个AI系统解决了纳维-斯托克斯存在性与光滑性问题，这是克雷数学研究所七大千禧年大奖难题之一。该系统生成了一份解析证明以及Lean定理证明器的形式化验证，表明一个从静止开始的光滑不可压缩流体，在施加光滑且能量有限的力的情况下，可能在有限时间内发展出奇点。这意味着流体的速度可以无界增长，标志着连续介质模型的崩溃。

该证明是通过一个由比GPT-6 Astra更强大的内部模型驱动的多智能体系统实现的。该工作涉及协调多达一万个并发智能体，这些智能体探索了多种不同方法，并在不同小组间交叉分享见解。解决方案在大约88小时内达成，随后的Lean形式化验证又花了17个小时。该系统还解决了一个相关的、被认为是“更简单”的关于受迫欧拉方程正则性的问题。

文章指出，该项目是在听到关于千禧年难题取得进展的传言后启动的，并提到Levent Alpöge和Tristan Buckmaster在受迫欧拉方程方面有独立的并行工作。OpenAI强调，这一里程碑展示了AI的重大进步，但明确表示他们不打算因此结果申请千禧年大奖，而是将这一成果视为在致力于构建负责任、可指导AI的持续发展进程中的一个时间快照。

(来源：OpenAI)