OpenAI 运行 10,000 个 agent 构建受迫 Navier-Stokes 爆破，而非 Clay 难题解

OpenAI 并行运行约 10,000 个 agent 达 88 小时，为 Navier-Stokes 方程构建了有限时间爆破，该 165 页的证明随后在 Lean 中耗时 17 小时完成机器验证。由于该构造引入了平滑外部强迫项，不符合 Clay 问题的设定、Clay 仍将该问题列为未解决，OpenAI 也谢绝了 $1M 奖金。此举的意义在于方法而非结果：大规模 agent 集群生成了可通过形式化验证的研究级证明，标志着 AI 已深入前沿数学领域。

来源： openai.com ↗