OpenAI 宣布用万个智能体协作 88 小时攻克纳维-斯托克斯千禧难题

OpenAI 宣布利用约 10,000 个内部 AI 智能体协作约 88 小时，生成了纳维-斯托克斯存在性与光滑性问题的证明及形式化验证代码，引发学界对前沿数学研究范式的关注。

• 证明结论与构造：OpenAI 提出的证明表明在光滑外力驱动条件下，三维不可压缩流体在有限时间内可能形成速度无界增长的奇点，对应官方问题陈述中的部分情形。
• 形式化验证流程：该研究由未公开模型生成分析推导，并由 GPT-6 Astra 在约 17 小时内完成了 Lean 编程语言的形式化验证。
• 归属争议与讨论：部分外部学者对研究推进过程中的信息参考与数据使用提出质询，OpenAI 否认访问特定用户数据但未排除匿名化数据对模型优化的辅助可能；陶哲轩等学者亦就 AI 介入理论数学对人类理解力的潜在影响提出思考。
• 影响/看点：该成果展现了大规模多智能体协作探索高难度科学假说的工程潜力，其最终的数学有效性与理论价值仍需经过国际数学界的严格同行评议与完整核验。
• 资料依据:
• OpenAI（2026-09-08）：https://openai.com/index/navier-stokes/
• IT之家（2026-09-09）：https://www.ithome.com/0/999/959.htm

本内容由 AI 生成，仅供参考，请注意甄别