PSI用Anthropic模型证明量子计算加速上限

时间：2026年11月6日 地点：美国 人物：PSI（Physical Superintelligence）、David Turturean、Jim Halverson、Phiala Shanahan、Anthropic 事件详情：AI 物理初创公司 Physical Superintelligence（PSI）于 11 月 6 日宣布，其内部研发的 AI 研究系统使用一个非公开的 Anthropic 模型，成功证明了困扰学界近 18 年的 Aaronson-Ambainis 猜想。该猜想由 Scott Aaronson 和 Andris Ambainis 于 2008 年提出，核心问题是量子计算机在什么条件下能比普通计算机实现指数级加速。PSI 的系统在运行第三天就给出了完整证明，随后由 Lean 证明助手完成了形式化验证。PSI 技术负责人 David Turturean 领导了这项工作，顾问 Jim Halverson 审核了证明，Phiala Shanahan 参与了 Lean 形式化工作。 背景：Aaronson-Ambainis 猜想是量子复杂度理论的核心开放问题之一。1994 年 Peter Shor 发现量子因子分解算法后，学界一直在追问：量子加速是否依赖输入结构的特殊模式？Aaronson 和 Ambainis 通过多项式方法将问题转化为纯数学猜想。2026 年 8 月，斯坦福大学团队曾在特殊情况下验证了该猜想，但完整证明始终未解。 影响：如果该证明经得起外部学术 scrutiny，它将确立量子计算加速的边界——即量子计算机在没有结构模式的随机输入上，最多只能实现多项式级加速，而非指数级。这对量子算法设计、密码学和计算复杂性理论都有直接影响。PSI 已将论文和代码开源在 GitHub，并接受外部评论。 总结：PSI 借助非公开 Anthropic 模型完成的这项证明，是 AI 辅助科学研究的一个标志性案例。它表明大语言模型不仅能生成文本，还能在严格的数学框架下产出可验证的新知识。对于量子计算领域，这相当于关闭了一个长达 18 年的猜想，也为后续 AI 辅助定理证明提供了可复现的方法论。 参考来源： PSI https://psi.inc/research/aaronson-ambainis/ RuntimeWire https://runtimewire.com/article/physical-superintelligence-aaronson-ambainis-proof Business Insider https://www.businessinsider.com/anthropic-quantum-computing-breakthrough-aaronson-ambainis-math-physics-psi-2026-11 Unite.A.I https://www.unite.ai/psi-reports-machine-checked-proof-of-aaronson-ambainis-conjecture/ The Quantum Insider https://thequantuminsider.com/2026/11/06/ai-assisted-proof-settles-longstanding-question-about-quantum-speedups/