Goertzel 长文：OpenAI 用 2200 万美元算力求解 Navier-Stokes
bengoertzel · x · 2026-09-10
Ben Goertzel 撰文评述 OpenAI 宣布给出 Navier-Stokes 解的存在性与光滑性问题的解——这是克雷数学研究所 2000 年悬赏百万美元的七大千禧年难题之一。文章要点：
- OpenAI 为此投入了约 2200 万美元的算力去追逐一百万美元奖金（据称也不打算领奖），核心目的是展示能力。
- 求解并非用已发布的 GPT-6 Astra，而是一个内部尚未发布、能力更强的模型。
- Goertzel 将此放到「定理证明、猜想与通往 AGI 之路」的大框架下讨论，分析这类成就对数学研究范式与 AGI 进程的意义。
对数学界与 AI 定理证明能力的后续同行评议值得持续关注。
所属事件:OpenAI 万级 Agent 88 小时攻克 Navier-Stokes 难题(5 条相关)→
「模型」频道最新
- DeepSeek 应对需求暴涨的方案:把模型做得更便宜更快 — yacineMTB · 2026-09-10
- 圈内人初步评测:GLM-4.1 与 V4 表现相近,智谱后训练更先进 — menhguin · 2026-09-10
- 2022 年后大量训练数据实为 AI 内容冒充人类撰写 — menhguin · 2026-09-10
- DeepSeek V4.1 被赞「首个游戏模型」:一句模糊提示词产出惊艳 FPS — teortaxesTex · 2026-09-10
- Bug Hunt Bench 实测 105 个真实 bug,DeepSeek-V4.1-Flash 高性价比夺目 — PawelHuryn · 2026-09-10
- DeepSeek 用 LLM 设计算法,分布式 RSI 已在发生 — teortaxesTex · 2026-09-10