Anthropic未公开模型出手：AI三天证明量子计算悬置十余年猜想

物理研究机构 Physical Superintelligence（PSI）近日对外公布，一项悬置十余年的量子计算基础理论难题被人工智能攻下——阿伦森-安拜尼斯猜想获得证明。

这一猜想由2008年被提出，核心问题是：量子计算机在哪些条件下能跑出相较传统计算机的运算速度跃升。多年来，它一直是量子计算领域悬而未决的基础性难题。

据PSI介绍，其科研团队搭起一套科研系统，把Anthropic尚未发布的AI模型融了进去，证明该猜想只花了三天。系统由机构技术人员戴维·图尔图雷安主导开发，那个AI模型具体是什么版本，目前还没有对外披露。运行到第三天，系统就拿出了Aaronson-Ambainis猜想的完整证明，并且通过了Lean检查。Lean是一种证明助手，证明里的每一步推理，电脑都会逐一检查。

这次证明的结果说明，量子计算机要想拿到部分指数级速度优势，问题本身得具备特定规律与结构。学界长期以来的判断由此得到印证。

连猜想的提出者之一Andris Ambainis也发帖感慨：我最大的几个科学难题里，又有一个被AI解决了。