AI 研究系统花 3 天证明悬置 18 年的 Aaronson-Ambainis 猜想

Hesamation · x · 2026-11-07

David Turturean 宣布，他为 Paul Christiano 团队（psipbc）构建的一个研究系统，使用未公开的 Anthropic 模型，证明了 Aaronson-Ambainis 猜想——该猜想自 2008 年提出，是量子计算领域最基础的问题之一，关乎量子计算机何时能获得指数级加速。

据引用线索：系统攻克猜想本身花了约 3 天，过程中引入了新想法，也吸收了此前研究者的旧思路，并对这些思路做恰到好处的「变形」使各个拼图得以吻合。Hesamation 转发时补充了这一时间线。