Scott Aaronson 评 AI 数学突破：别再急着立里程碑了
dilipkay · x · 2026-08-17
量子计算专家 Scott Aaronson 撰文回应近期 AI 在数学和理论计算机科学领域的多项进展，表达了对“里程碑式宣传”的谨慎态度。
关键进展提及：
- OpenAI 内部模型成果：据称其内部模型解决了 10 个数学与理论计算机科学的重要开放问题，包括任意量子游戏的并行重复、最近向量问题 (CVP) 的多项式因子硬度近似、非 Sofic 群的构造以及否定 Connes 刚性猜想等。Aaronson 认为其中关于算术电路复杂度永久式的下界（Ω(n^2 log log n)）最令他兴奋。
- BosonSampling 猜想证明：Frederic Koehler 和 Pui Kuen Leung 宣布证明了“永久式反集中猜想”，这是 Aaronson 和 Arkhipov 16 年前提出的 BosonSampling 理论的核心假设。作者致谢中提到与 ChatGPT 的讨论启发，但 Aaronson 表示尚未验证细节。
观点态度：
Aaronson 承认这些进展令人印象深刻，但他对媒体和公众将这些发现草率地标记为“世界历史性里程碑”持保留意见。他认为虽然这是 AI 辅助科研的有力证据，但仍需时间的检验和严谨的验证，不应过早下定论。
「漫话AGI」频道最新
- 缩短工作周的最强理由不是福祉，而是算术 — VraserX · 2026-08-18
- Davidad 论超智能 AGI 守信善待人类的概率 — danfaggella · 2026-08-18
- 微软副总裁：AI 采用本质是优胜劣汰的选择性系统 — dfinke · 2026-08-18
- 观点：理想的 AI 时代 profile 需先掌握核心技能 — connoraxiotes · 2026-08-18
- RSI 里的「自己」指什么?界定递归自我改进的系统边界 — viborci · 2026-08-18
- 为何我不看好「Agent 互联网」的租赁市场模式 — MelodicCare1216 · 2026-08-18