AI模型助PSI证明量子计算猜想

驱动中国11月7日消息，据《商业内幕》消息，物理研究机构 Physical Superintelligence（PSI）宣布，借助 Anthropic 一款尚未发布的 AI 模型，量子计算领域的阿伦森－安拜尼斯猜想获得证明。该证明由 PSI 自行开发的研究系统完成，耗时仅三天。

自2008年被提出后，阿伦森－安拜尼斯猜想长期没有获得证明；该猜想关注量子计算机在哪些条件下可实现远超传统计算机的运算速度。PSI表示，此次行动意味着“量子计算领域最根本的问题之一”得到解决。

完成证明的研究系统由 PSI 技术人员戴维·图尔图雷安开发，其中使用了 Anthropic 尚未发布的 AI 模型。具体使用何种模型暂时不得而知。

根据证明结果，量子计算若要形成某些指数级速度优势，需要依赖问题内部存在的特殊规律或结构。这一结论也印证了研究人员长期持有的猜测：量子计算机并非在所有情形下都能取得巨大性能优势。

在部分任务中，量子计算机仍可显著提升运算性能。量子计算机虽已问世，技术发展仍处于早期阶段。

AI辅助数学研究出现突破的案例也在增加。今年9月，OpenAI宣布解决纳维－斯托克斯方程难题；该问题已有90年历史，并被描述为“数学前沿最深奥的问题之一”。

此前研究过这一猜想的人员将其称为“重大成果”，认为该研究为存在数十年的难题找到了答案。