Anthropic 未发布模型助证量子计算 17 年猜想

量子计算领域的阿伦森－安拜尼斯猜想自 2008 年提出以来始终未获证明，该猜想研究的是量子计算机在何种条件下能够获得远超传统计算机的运算速度。

物理研究机构 Physical Superintelligence（PSI）宣布，借助 Anthropic 一款尚未发布的 AI 模型，仅用三天便完成了该猜想的证明。研究系统由 PSI 技术人员戴维·图尔图雷安开发，具体使用了何种模型暂未公开。

证明结果显示，量子计算要实现某些指数级的速度优势，必须依赖问题中存在的特殊规律或结构，这证实了量子计算机并非在所有情况下都具备巨大性能优势。此前 OpenAI 也曾宣布解决了有 90 年历史的纳维－斯托克斯方程难题，AI 辅助数学研究的突破案例正在持续增加。