曝 OpenAI 压着数百个 AI 数学证明未公开,纳维-斯托克斯证明耗资约 1500 万美元
新智元 · wechat · 2026-09-17
UT Austin 教授、前 OpenAI 对齐团队研究员 Scott Aaronson 在博客中披露：AI 实验室在纳维-斯托克斯方程证明引发公众争议后，正把一些「非常重大的问题」的解法压在手里不发布。纽约大学数学教授 Scott Armstrong 更称，OpenAI 至少从 7 月国际数学家大会起就压着「数百个」数学证明未公开。
据披露的细节：
- 9 月 1 日 OpenAI 听到风声称有两道千禧年难题被解决，随即把所有未攻克难题喂给能力强于 GPT-6 Astra 的内部模型
- 近 100 个智能体约 50 小时先解出无外力版欧拉方程；随后约 1 万个智能体并发 88 小时攻克纳维-斯托克斯方程，Lean 形式化验证再花 17 小时，单题消耗约 1300 亿输出 token
- Aaronson 估算该 166 页证明烧掉约 1500 万美元算力，目前几乎无人类真正读懂
陶哲轩警告：只要传出「有人在研究某问题」，就可能引来 AI 算力碾压，导致研究者不敢分享思路，逆转开放科学传统。9 月 11 日陶哲轩等 25 位菲尔兹奖得主联名公开信，批评 AI 公司把数学难题当跑分工具。Aaronson 感叹：证明生成按天算，人类消化按年算——发表优先权、署名、同行评审等数百年学术规矩正在逐条失灵。
所属事件:Aaronson 爆料：AI 实验室因 Navier-Stokes 风波捂住重大数学成果(11 条相关)→
「漫话AGI」频道最新
- 调查报道:Alpha School 17 所校区进内部观察名单,Ackman 任影子主管 — benjaminjriley · 2026-11-02
- 谷歌首席经济学家:AI 改造的岗位远多于取代,红利在于重构工作流 — danielrock · 2026-11-02
- Daniel Lemire:AI 让普通服务器需求暴涨,全球 CPU 出货将翻倍 — lemire · 2026-11-02
- 对齐研究者批「对齐」一词:暗示了并不存在的一致性 — davidmanheim · 2026-11-02
- 2035 年印度父母不问工资，只问你管几个 Agent — theteknosaur · 2026-11-02
- 美国 AI 付费订阅用户不足 5%,算力与电力仍是最紧约束 — NinaDSchick · 2026-11-02