⌘ K
… 读取采集状态 同步中...
雷
原文
X:Greg Brockman (@gdb)·· 2026-09-09AI 评分1

OpenAI 宣布用智能体集群求解 Navier-Stokes 千禧年难题

AI 导读

OpenAI 宣布给出 Navier-Stokes 千禧年难题的解,证明由一组智能体使用比 GPT-6 Astra 能力更强的下一代模型生成,该问题已悬置约 90 年。作者引述称约 10,000 个智能体在 88 小时内协同工作,产出 1300 亿输出 Token,GPT-6 Astra 花了 17 小时跑 Lean 形式化代码核验,等效算力成本约 1500 万美元。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:X:Greg Brockman (@gdb) · x.com