PSI 借助 Anthropic 未发布模型证明阿伦森－安拜尼斯猜想

物理研究机构 PSI 宣布，借助 Anthropic 一款尚未发布的 AI 模型，自 2008 年提出后一直未获证明的阿伦森－安拜尼斯猜想成功得到证明，其研究系统由技术人员戴维·图尔图雷安开发，仅用三天完成。证明结果显示，量子计算要实现某些指数级速度优势，必须依赖问题中存在的特殊规律或结构，这也证实了量子计算机并非在所有情况下都能获得巨大性能优势。PSI 未透露具体使用了哪款模型。