PSI借助Anthropic未发布模型证明猜想

发生了什么

据IT之家引述《商业内幕》报道，物理研究机构PSI宣布借助Anthropic一款尚未发布的AI模型，证明量子计算领域的阿伦森－安拜尼斯猜想。PSI自行开发采用Anthropic模型的研究系统，仅用三天完成证明。该猜想自2008年提出以来未获证明，证明结果显示量子计算要实现某些指数级速度优势须依赖问题中的特殊规律或结构。