Anthropic神秘模型攻克量子计算重要猜想，困扰数学界近20年的难题解决了

BiRun 讯，AI 研究公司 Physical Superintelligence（PSI）宣布，借助 Anthropic 一款尚未发布的模型，证明了困扰数学界近 20 年的 Aaronson–Ambainis 猜想。AI 在运行第三天就找到了完整证明，并通过 Lean 数学验证工具的检查。

这项猜想由两位科学家在 2008 年提出，研究的是量子计算机的速度优势究竟有多大。

量子计算机在处理某些问题时，可能比普通计算机快上亿倍。比如分解一个特别大的整数，普通计算机用已知算法可能需要极长时间，量子计算机则有望大幅缩短计算时间。但这种巨大优势通常依赖问题本身存在某种数学规律。

这次 AI 证明，如果输入的数据完全随机，没有可利用的特殊规律，那么对于只需要回答「是」或「否」的问题，量子计算机就无法在读取数据的次数上取得指数级优势。

比如要从海量随机数字中判断一个结果，量子计算机可以利用量子叠加，一次查询涉及多个位置。普通计算机虽然每次只能读取一个位置，但只要知道量子算法的判断规则，就能优先检查那些最影响结果的数字，用相对有限的查询次数，近似预测量子计算机的答案。

此前，数学家已经知道某些特殊情况下可以做到这一点，却一直无法证明这条规律普遍成立。PSI 这次完成了完整证明，也解决了一个延续近 20 年的理论问题。

消息传出后，华盛顿大学教授 Pedro Domingos 甚至认为，量子计算优势的梦想已经破灭。

猜想提出者之一 Scott Aaronson 随后指出，这种理解是错的。研究限制的只是特定问题中量子计算机能节省多少次数据查询，并没有否定量子计算机的实际运算速度优势。用于大整数分解的 Shor 算法，以及量子物理、化学模拟，都不受影响。

Aaronson 表示，自己还没完全读懂这份证明，但 Lean 已经完成检查，也有其他数学家审阅过，因此他相信结果正确。…

信源

动察 Beating 频道 · 动察 Beating 交流群。