OpenAI 9 月 8 日介绍其利用大规模 Agent 协作探索 Navier–Stokes 问题的过程。内部系统将 Agent 分成多个小组进行不同方向的推导和检索，再由 Codex 汇总有价值的思路，并通过 Lean 形式化验证。
文章称，探索期间曾使用约万级并发 Agent，整个过程持续数十小时并产生数百万条消息。这个数字体现的是研究组织和算力调度规模，不等于近万名 Agent 都独立完成了数学证明。OpenAI 也明确说，这项工作是能力展示和研究快照，不会据此申请 Millennium Prize。
这条消息真正的价值在于展示多 Agent 如何分工、交叉验证和合并结果。复杂推理仍需要数学家审核、形式化证明和可复现实验。