该图片疑似使用了AI生成技术，请谨慎甄别
物理研究机构 Physical Superintelligence（PSI）近日对外公布，借助人工智能技术，悬置十余年的阿伦森-安拜尼斯猜想得到证明，为量子计算基础理论研究带来重要突破。
阿伦森-安拜尼斯猜想于2008年被提出，聚焦量子计算机在哪些条件下可以实现相较于传统计算机的运算速度跃升，是量子计算领域长期悬而未决的基础性难题。
据介绍，PSI科研团队搭建一套融合Anthropic未发布AI模型的科研系统，仅耗时三天便完成该猜想的证明工作。这套研究系统由机构技术人员戴维·图尔图雷安主导开发，目前该AI模型的具体版本信息尚未对外披露。
本次证明结果表明，量子计算机想要实现部分指数级速度优势，需要依托问题本身具备特定规律与结构。这印证了学界长期以来的判断：量子计算机并非能够在全部应用场景下取得显著性能增益，但针对特定任务，依旧可以实现运算能力的大幅提升。多位曾深耕该猜想的科研工作者评价，该成果回应了一项存续多年的学术疑问，属于领域内重要研究进展。
这个系统运行到第三天，就给出了Aaronson-Ambainis猜想的完整证明，甚至证明还通过了Lean检查。（Lean是一种证明助手，证明里的每一步推理，电脑都会逐一检查）连猜想的提出者之一Andris Ambainis都发帖感慨：我最大的几个科学难题里，又有一个被AI解决了。
