AI 系统三天证明困扰量子计算 18 年的 Aaronson-Ambainis 猜想
anirbanbandyo · x · 2026-11-08
Physical Superintelligence（PSI）宣布，其内部研发的研究系统在自有算力上运行未公开的 Anthropic 模型，成功证明了 2008 年提出的 Aaronson-Ambainis 猜想——量子复杂性理论的核心开放问题之一。
- 该猜想关注量子计算机何时能比经典计算机呈指数级加速：系统证明的定理表明，面对无结构的随机输入，量子计算机最多只能获得多项式级加速；Shor 算法式的指数优势依赖于输入中隐藏的特殊规律
- 系统在运行第三天找到完整证明，由定理证明器 Lean 逐步机检通过；随后继续攻关相关开放问题，期间两次改进结果并最终全部通过 Lean 验证
- 证明建立在 Shachar Lovett 与 Jiapeng Zhang、David Reimer 等前人工作之上
- 转发者评论认为，这意味着量子优势只在对数据按特定模式组织时才会出现，为量子计算的基础理论划定了明确边界
所属事件:PSI 系统 3 天证明悬置 18 年的 Aaronson-Ambainis 猜想(14 条相关)→
「漫话AGI」频道最新
- 经济学人作者：AI 腔正在渗入人们的日常口语 — paulnovosad · 2026-11-08
- 研究者提出「宇宙恐怖」假说：AI 编程智能繁荣或摧毁软件生态长期价值 — josephdviviano · 2026-11-08
- 瑞典日报邀 50 位专家绘制三大 AI 灾难场景 — anderssandberg · 2026-11-08
- AI 需求与成本同呈指数变化，评论称无需 FOMO — oran_ge · 2026-11-08
- 教授质疑读博价值：答辩当天 AI 花 1.5 欧元即给出更优答案 — FlorianGallwitz · 2026-11-08
- 「苦涩教训」作者 Sutton 重申：纯算力堆不动智能 — The Decoder · 2026-11-08