AI 辅助证明量子计算领域阿伦森－安拜尼斯猜想

Physical Superintelligence（PSI）利用 Anthropic 尚未发布的 AI 模型，三天内证明了自 2008 年提出的阿伦森－安拜尼斯猜想，该猜想涉及量子计算机在何种条件下能超越传统计算机。研究系统由 PSI 技术人员戴维·图尔图雷安开发，证明结果表明量子优势依赖于问题中的特殊结构，而非普遍适用。此前该猜想长期未解，此次突破被称作量子计算领域最根本问题之一的解决。