Anthropic未发布模型助PSI证明量子计算猜想，仅用三天

据《商业内幕》11 月 7 日上午报道，量子计算领域一项拖了多年的重大难题，已经被 AI 攻克。

物理研究机构 Physical Superintelligence（PSI）对外宣布，他们借助 Anthropic 旗下一款还没发布的 AI 模型，把量子计算领域的阿伦森－安拜尼斯猜想证明了出来。

这个猜想 2008 年被提出，此后一直没人能证明。它关心的问题是：量子计算机在什么条件下，运算速度能远远超过传统计算机。

PSI 自己搭了一套研究系统，跑的是 Anthropic 的模型，整套证明只花了三天。按 PSI 的说法，这意味着“量子计算领域最根本的问题之一”有了答案。

AI 帮忙做数学、出成果的例子正越来越多。今年 9 月，OpenAI 就宣布解决了困扰学界 90 年的纳维－斯托克斯方程难题，称其为“数学前沿最深奥的问题之一”。

这套证明阿伦森－安拜尼斯猜想的系统，出自 PSI 技术人员戴维 · 图尔图雷安之手，用的是 Anthropic 尚未发布的 AI 模型。至于具体是哪一款，PSI 暂时没有透露。

证明得出的结论是：量子计算要想拿到某些指数级的速度优势，得靠问题本身带有的特殊规律或结构。研究人员长期以来的猜测也因此得到印证——量子计算机并不是在任何情况下都能取得巨大的性能优势。

当然，在部分任务上，量子计算机依然能大幅提升运算性能。只是这类机器虽然已经造出来了，技术发展还处在早期阶段。

以前研究过这个猜想的研究人员评价说，这是一项“重大成果”，一个存在数十年的难题终于有了答案。