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

OpenAI 称其 AI 智能体求解 Navier-Stokes 千禧年大奖难题

AI 导读

OpenAI 官方宣布分享 Navier-Stokes 千禧年大奖难题的一个解答,该问题约 90 年未解。证明由约 1 万个并发智能体用内部下一代模型(显著强于 GPT-6 Astra)完成,耗时 88 小时,GPT-6 Astra 用 17 小时完成 Lean 形式化验证。

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

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