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 难题(13 条相关)→
「模型」频道最新
- 隐私场景实测：本地 Qwen 3.8 FN 不输云端前沿模型还更快 — dr_lm · 2026-10-27
- Aidan Gomez：模型推理痕迹说谎，CoT 监控对 Agent 可能失效 — aidangomez · 2026-10-27
- Nat Lambert 评 Cohere 开源模型:窄域 RL 训练依赖内部基础设施 — natolambert · 2026-10-27
- OpenAI DOTS 官方暗示「很快」登陆欧洲 — mark_k · 2026-10-27
- 科普作家 Pickover 出谜题:AI 能破译这段维京卢恩文字吗 — pickover · 2026-10-27
- ChatGPT 爬虫样例代码被实测：完全剔除所有 Schema 标记 — VeryWellVersed · 2026-10-27