曝 OpenAI 内部系统 88 小时攻破纳维-斯托克斯难题，不可公开使用
r0ck3t23 · x · 2026-09-10
网传 OpenAI 称其内部系统动用 1 万个 agent，在 88 小时内给出了已有 90 年历史的千禧年大奖难题——纳维-斯托克斯方程（描述流体运动的核心方程）相关问题的解，且所用模型比尚未发布的 GPT-6 Astra 更强，普通用户无法使用。随后 Astra 花费 17 小时把结果翻译成 Lean 形式化证明，使每一步都可被机器验证。该说法来自第三方转述，未见 OpenAI 官方确认，真实性存疑。
所属事件:OpenAI 自曝解千禧年难题用的是更强内部模型(12 条相关)→
「模型」频道最新
- Mira Murati同事质疑：为何不能付费让不安全模型帮你渗透测试 — DavidSHolz · 2026-09-10
- 网友从 OpenAI Navier-Stokes 图表反推：或已解约 91 个未公开难题 — teortaxesTex · 2026-09-10
- 年付 2 万欧客户控诉 Claude 变弱,疑 Anthropic 后台省算力 — maier_ak · 2026-09-10
- 用户称年付 2 万欧元用 Claude,却感觉模型越来越弱 — maier_ak · 2026-09-10
- AI 助手 Astra 说话常漏空格?用户:多发生在数字场景 — gandamu_ml · 2026-09-10
- DeepSeek V4.1 Flash 流出可开启视觉输入，官方版仍未发布 — teortaxesTex · 2026-09-10