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」频道最新
- 《幕府将军2》复刻版遭差评轰炸,开发者热议 AI 放大画质背锅 — draginol · 2026-10-16
- Pedro Domingos:每个人都该有自己的专属模型 — pmddomingos · 2026-10-16
- 可解释性研究者泼冷水:模拟不了神经元就不算真正解释了它 — nabla_theta · 2026-10-16
- 从优化结果到教 AI 行善:美德伦理能否进入对齐科学 — joelbot3000 · 2026-10-16
- 教授:推荐信季我在评价「学生 + Claude」的组合 — RoozbehMottaghi · 2026-10-16
- 网友预测黎曼猜想明年内被 AI 攻破 — gautamcgoel · 2026-10-16