PSI 报告用 AI 研究系统证明 Aaronson–Ambainis 猜想

编辑更正（2026年11月10日）证明由 PSI 开发的研究系统得出，系统使用一款未公开的 Anthropic 模型。结论适用于论文描述的随机输入和查询复杂度情形。

Anthropic还有大招！

历史时刻再现：Claude 内部模型攻克了量子计算领域 18 年悬赏猜想。

PSI 报告称，使用未公开 Anthropic 模型的研究系统在运行第三天获得了完整证明。

PSI 没有公开所用模型的具体版本。

定理和推论已完成Lean形式化，量子计算相比传统计算优越性到底有多少，终于有了答案。

Claude戳破量子霸权迷信

1994年，Peter Shor提出了的肖尔算法，名震天下。

它可以在多项式时间内分解大整数，其已知的经典对照算法耗时更高，尚无经典整数分解必须耗费指数时间的证明。

现代加密体系的基石由此被动摇。

肖尔算法吹响了号角，随后「量子霸权」（Quantum Supremacy）这个词席卷了全球科技界与资本市场。

一幅令人血脉贲张的蓝图似乎就在眼前：量子叠加，量子纠缠，指数级加速。

仿佛只要操控好那些脆弱的量子比特，人类就能开启一场全方位的降维打击，瞬间踏入算力近乎无限的新纪元。

一种盲目的认知幻觉开始弥漫：

只要有了量子叠加态，似乎大多数难题，量子计算机也能瞬间遍历所有可能，实现指数级的暴击。

还好物理学家和计算机科学家很快意识到：肖尔算法之所以能产生「指数级碾压」，是因为整数分解背后藏着强烈的周期性结构。而量子计算机擅长捕捉这种重复的规律。

但如果输入的数据完全随机，没有任何规律与特殊结构，量子计算机还能实现指数级的超越吗？

2008年，量子计算领域的两位领军学者——Scott Aaronson与Andris Ambainis把这个物理与算法问题，抽象成了纯数学问题。

他们将计算机读取输入数据的过程比作「观察」。

经典计算机每读一位就是看一个确切的「0」或「1」；量子计算机则利用叠加态，能把一次观察分散在海量状态上。

两位学者发现，量子计算机在经过T 次观察后输出「是」的概率，本质上可以被严格刻画为一个「有界低阶多项式」。

如果能证明这种多项式在翻转某个变量时必然存在足够大的变化，即存在具有显著影响力的变量，可用于证明在所讨论的随机输入条件下，经典算法能够以多项式级额外查询开销近似量子算法的相关输出概率。

这就是著名的Aaronson-Ambainis 猜想。

现在，这一猜想被AI证明，以后可能要称之为「Aaronson-Ambainis定理」了：

用他们的话说：

量子计算仍有许多未解之谜，但现在，又少了一个。

需要说明的是，量子霸权没有消失，但这个定理杀死了量子计算的「盲目迷信」，明确了量子优势的P「合法领地」。

量子计算版奥本海默时刻

这次出手的Physical Superintelligence，不是第一出手——

上个月，他们解决了量子信息论中五个长期悬而未决的问题。

此前，麻省理工学院的Guy Blanc、Jordan Docter、Carmen Strassle 和斯坦福大学的 Li-Yang Tan解决了该猜想的经典模拟推论的一个特例。

他们一直在阅读新的证明，认为只是一个「大结果」：

它解决了一个数十年之久的猜想，对于哪些问题能够实现量子加速这一本质具有重要启示。

这次研究涉及布尔函数分析和概率组合中的若干研究方向。

而这次的证明，也绝非「鹦鹉学舌」，绝不是简单的检索一下文献就解决了问题，而一种「相当奇妙的方式」汇聚了所有内容内容。

或许，人类多个领域专家合作也能最终证明这个猜想，但 AI 的速度人所难及！

据介绍，以 Anthropic 内部模型为核心的Harness系统搭建完成后，三天后就完成了第一个证明。

随即被送入 Lean 证明助手中接受检验。

但这还没完。

当模型实例被要求借助这些中间结果去攻克悬而未决的难题时，它们反过来打磨了这些中间结果，将指数从 22 压到 11，再到 7，继续下降。

这也是发现过程本身的缩影：证明不是一蹴而就的灵光，而是在中间结果的反复打磨中，一步步逼近最优的边界。

物理学与数学依然宽广，宇宙依然浩瀚，需要人类探索的未解之谜依旧恒多。

但有一件事已经确定无疑：

探索的理性疆域的那支探险队里，如今不再只有人类自己茕茕孑立，形影相吊。

参考资料：

https://psi.inc/research/oqp-batch-2026/

https://psi.inc/research/aaronson-ambainis/

文章来自于微信公众号 “新智元”，作者 “新智元”