OpenAI 宣称调用万个智能体集群成功攻克流体力学千禧年难题

OpenAI 宣称动用近万个智能体集群与百亿级 Token 算力完成了流体力学千禧年难题纳维-斯托克斯方程的形式化证明，展现了分布式大模型在尖端科学推导中的应用尝试。

• 据行业消息于 2026 年 9 月 9 日披露，证明生成过程动用了约 10000 个协同工作的 AI 智能体，在 88 小时内生成了 1300 亿输出 Token。
• 形式化核验环节由下一代模型在 Lean 证明辅助环境中连续运行 17 小时完成，推算等效算力投入达 1500 万美元。
• 纳维-斯托克斯存在性与光滑性问题作为克雷数学研究所悬赏难题，近百年来一直缺乏理论上的全局光滑解证明。
• 影响/看点：这一进展若通过国际数学界的严格同行评议与形式化重现，将意味着 AI 智能体集群已具备解决顶尖纯数学未解命题的能力，但其超高算力成本也对科研可复现性提出了新的挑战。
• 资料依据：
• X @AYi_AInotes（2026-09-09）：https://x.com/AYi_AInotes/status/2097505511356649485
• IT之家（2026-09-09）：https://www.ithome.com/1/000/353.htm

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