PSI 实验室用 AI 三天证明量子计算猜想

据 Woofun AI 消息，物理超智能实验室 表示，其利用一款尚未公开的 模型，在三天内找到了量子计算领域'阿伦森—安拜尼斯猜想'的证明。该猜想自 2008 年提出以来一直悬而未决，涉及量子计算机在何种情况下能够大幅快于传统计算机。PSI 已经公开论文和证明代码，并称证明通过了数学证明辅助工具 的检验。此前研究过这一问题的斯坦福大学学者已阅读证明并提供意见，但成果仍有待学界进一步独立审查。这项研究使用的系统由 PSI 技术人员开发，在实验室自有基础设施上运行，调用了 Anthropic 尚未公开的模型。