数据速览
- 并发智能体
- 约 1 万路
- 得到解析证明
- 约 88 小时
- Lean 形式化核验
- 约 17 小时
OpenAI 2026 年 9 月 8 日在官网发文，称一套内部系统解答了 Navier-Stokes 存在与光滑性问题。结论是三维流体运动可以在有限时间内形成奇点。文中同时给出证明文稿和 Lean 形式化。这是该公司自己公布的结果，数学界是否最终接受，仍要等同行审读。
公司表示，工作由内部下一代模型驱动的协同智能体完成，并称该模型能力明显高于 GPT-6 Astra。解析证明大约由 1 万路并发智能体在约 88 小时内得到；随后用 GPT-6 Astra 另花约 17 小时做完 Lean 形式化核验。
OpenAI 说，公开这份材料是为了报告 AI 进展，不打算凭它去申领 Millennium Prize。文中承认 Anthropic 的 Levent Alpöge 与纽约大学的 Tristan Buckmaster 在带外力的 Euler 问题（forced Euler）上的在先工作。
1 万路智能体并发跑 88 小时，是一类此前少见的算力消耗样本：既不是训练，也不是常规推理服务，而是长时间、高并发的搜索。这类负载对集群调度与容错的要求，与按请求计费的在线推理完全不同。
TAGS#OpenAI#Navier-Stokes#智能体#Lean
