OpenAI公布纳维–斯托克斯难题解答及Lean形式化证明

OpenAI宣布，其内部系统已给出纳维–斯托克斯存在性与光滑性问题的一个解答：在光滑外力作用下，初始静止且光滑的三维不可压缩流体可在有限时间内形成奇点，且全过程能量保持有限。

OpenAI表示，这一结果对应克雷数学研究所官方表述中的 C、D 命题，相关论文和 Lean 形式化证明已同步公开，但仍有待学界独立审查。

OpenAI称，该项目使用了比 GPT-6 Astra 显著更强的内部模型，约 1 万个并行智能体在约 88 小时内形成证明，期间发送 270 万条消息，生成约 1300 亿输出 Token。Lean 形式化和验证另耗时 17 小时。

OpenAI表示，无意申领千禧年大奖。

关于同期研究，OpenAI最初误以为 Anthropic 员工 Levent Alpöge 与纽约大学教授 Tristan Buckmaster 也解出了该题，后确认两人解决的是受迫欧拉方程问题，并认可其在该问题上的优先权。