1300 亿 token 蛮力解 Navier-Stokes,Reddit 热帖质疑其 AGI 含金量
kaljakin · reddit · 2026-09-10
OpenAI 智能体宣称解决 Navier–Stokes 问题引发热议,但有 Reddit 帖子提出关键质疑:过程中智能体互发了 270 万条消息、消耗约 1300 亿输出 token。
作者的核心论点:
- 按 zbMATH Open 数据库(收录 1868 年以来几乎所有数学文献)估算,人类全部数学产出的 token 总量仅约 500-1000 亿,这次消耗超过了人类历史上所有数学文献。
- 由于常规数学只有 10 条基本公理加少量演绎规则,本质上可被暴力搜索——这对人类极难,但计算机可以在完全不同规模上蛮力推进。
- 因此这一结果更像资源堆出来的成就,与「宣布处理了 X PB 的 DNA 数据」类似:科学上可能很重要,但不能说明系统的通用智能水平。
- 作者认为 IQ 测试、ARC-AGI、国际象棋上的进展才是更有信息量的指标,因为 OpenAI 不会在这些基准上烧如此巨大的资源。
作者也承认 OpenAI 攻坚此类难题本身值得肯定,可能真正推动科学进步,只是它对判断「离 AGI 有多近」参考价值有限。
所属事件:AI 巨额算力攻克 Navier-Stokes，成本远超奖金引激辩(22 条相关)→
「漫话AGI」频道最新
- 数学家千元一份审 AI 证明,工作量引发同行好奇 — ctjlewis · 2026-09-10
- Nic Carter 质疑 Anthropic：真信自己是唯一能造出对齐机器之神的人？ — examachine · 2026-09-10
- 网友讽刺前沿实验室:「这东西危险到别人不能拥有,但欢迎刷卡下单」 — prateekj · 2026-09-10
- OpenAI「纳维-斯托克斯」争议：免费送顶级科学家前沿模型被指是数据收割 — S_Conradi · 2026-09-10
- 特德·姜、刘宇昆等作家同台探讨 AI 时代的写作与阅读 — begusgasper · 2026-09-10
- Sentdex：真正的 AI 风险是人类集权的历史教训 — Sentdex · 2026-09-10