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 有多近」参考价值有限。
所属事件:OpenAI 巨额算力求解 Navier-Stokes 引发抢发与暴力计算争议(26 条相关)→
「漫话AGI」频道最新
- 反 AI 内容算法爆火很赚钱，作者：两边都在卖货 — annetgriffin · 2026-10-26
- 硅谷解读：斯坦福 20 公里圈五巨头市值约 18 万亿美元 — FinanceYF5 · 2026-10-26
- 从 Claude 到 AlphaEvolve：AI 自我改进离「奇点」还有多远 — Exponential View (Azeem Azhar) · 2026-10-26
- 人形机器人两年跑赢人类：半马破纪录、百米超博尔特 — ben_j_todd · 2026-10-26
- Stephen Casper 播客畅谈：AI 会否成为网络空间的「寄生(peer)物种」 — StephenLCasper · 2026-10-26
- EMNLP 主题演讲背后：用语言模型「模拟学习者」生成儿童语言习得新假设 — najoungkim · 2026-10-26