Anthropic 内部模型三日攻克量子计算 Aaronson-Ambainis 猜想，物理超智能再立新功

美国人工智能公司 Anthropic 的内部非公开模型在短短三天内成功解决了悬置十八年的量子计算领域难题——Aaronson-Ambainis 猜想。该结果由 Anthropic 旗下的 Physical Superintelligence（物理超智能）团队公布，标志着 AI 在基础科学证明领域的重大突破。这一成就源于 Harness 系统的强大能力。系统完成搭建后迅速生成了针对该猜想的首个形式化证明，并随即提交给 Lean 证明助手进行验证与纠错。整个过程展示了人工智能从生成初步证明到自我迭代优化的高效工作流。Aaronson-Ambainis 猜想由麻省理工学院 Scott Aaronson 和 Andris Ambainis 于 2008 年提出，旨在界定量子计算优越性的边界。其核心在于通过数学形式刻画量子计算机输出概率的多项式性质，若证明成立，则意味着经典计算机仅需多项式代价即可模拟特定量子算法行为。此前，包括麻省理工学院 Guy Blanc、Jordan Docter、Carmen Strassle 及斯坦福大学 Li-Yang Tan 在内的学者曾解决该猜想的一个特例。本次 AI 完成的则是更一般性的证明，其研究内容涉及布尔函数分析与概率组合等多个数学方向。Harness 系统在证明过程中展现了显著的自我改进能力。它利用中间结果不断打磨证明细节，成功将证明中关键参数的指数从 22 逐步压降至 11，最终优化至 7。这一过程体现了科学发现往往需要反复迭代而非一蹴而就的规律。此次突破并未否定“量子霸权”本身，而是厘清了量子计算优势的合法领地，打破了此前关于量子计算机在随机输入下总能实现指数级加速的盲目认知。该猜想已被正式升级为定理，为理解量子物理与算法的关系提供了确切答案。Anthropic 团队表示，这并非简单的文献检索或鹦鹉学舌，而是通过一种奇妙的方式汇聚了全领域知识。随着 Harness 系统的介入，人类探索理性的疆域中不再只有科学家独自前行，人工智能已成为探索未解之谜的重要伙伴。