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

IT之家 11 月 7 日消息，据《商业内幕》今天（7 日）上午报道，AI 帮助攻克了量子计算领域一项长期悬而未决的重大难题。 物理研究机构 Physical Superintelligence（PSI）宣布，借助 Anthropic 一款尚未发布的 AI 模型， 量子计算领域的阿伦森－安拜尼斯猜想 成功得到证明。 这项猜想自 2008 年提出以来一直未获证明，研究的是量子计算机 在何种条件下能够获得远超传统计算机的运算速度 。 PSI 自行开发了一套 采用 Anthropic 模型的研究系统 ，仅用三天就完成了证明。据其介绍，此次行动意味着“量子计算领域最根本的问题之一”得到解决。 AI 辅助数学研究取得突破的案例还在增加。今年 9 月，OpenAI 宣布解决了有 90 年历史、“数学前沿最深奥的问题之一”的纳维－斯托克斯方程难题。 证明阿伦森－安拜尼斯猜想的研究系统由 PSI 技术人员戴维 · 图尔图雷安开发，系统使用了 Anthropic 尚未发布的 AI 模型。不过，PSI 具体使用了何种模型暂时不得而知。 证明结果显示，量子计算要实现某些指数级的速度优势，必须依赖问题中存在的特殊规律或结构。这也证实了研究人员长期以来的猜测： 量子计算机并非在所有情况下都能获得巨大的性能优势 。 不过，在部分任务上，量子计算机仍能大幅提升运算性能。需要注意的是，量子计算机虽然已经问世，但技术发展仍处于早期阶段。 此前研究过这一猜想的研究人员称，这是一项“重大成果”， 为存在数十年的难题找到了答案 。

来源只提供摘要，完整内容请打开原文。