未发布的 Anthropic 模型协助证明量子计算悬案

一家名为 Physical Superintelligence Inc.（PSI）的物理研究实验室周五宣布，它使用 Anthropic 一款尚未发布的模型，证明了一个长期悬而未决的量子计算问题——Aaronson-Ambainis 猜想。据 Business Insider 报道，该猜想自 2008 年提出以来一直处于开放状态，此前没有人给出证明。

这个猜想本质上是关于量子计算机何时能够显著快于普通计算机的一个“有根据的猜测”。它关心的是：量子计算相对经典计算的优势，究竟在什么条件下成立、又受什么条件约束。正因为牵涉量子计算优势的边界，它被视为该领域最基础的问题之一。

按照 PSI 的说法，实验室技术团队成员 David Turturean 搭建了一套包含该 Anthropic 模型的研究系统，这套系统在三天内完成了证明。PSI 称此举“解决量子计算中最根本的问题之一”，并把成果定位为一次真正的数学进展，而非一次工程演示。

“量子计算仍有许多未解之谜，但现在少了一个。”该实验室在公告中这样形容这次结果。这句话也点出了成果的性质：它不是造出更强的量子硬件，而是在理论层面收窄了未知的范围。

证明本身的结论同样值得注意。PSI 表示，证明显示量子计算的某些指数级优势需要特殊的模式或结构，这意味着量子计算机存在极限——这一点长期被怀疑，但此前没有被严格确立。量子计算机对某些任务仍然是重大升级，而且现有硬件仍处于非常早期的阶段。

曾研究过这一问题的研究者对证明给出了积极评价，称其为“巨大的成果”，认为它回答了一个存在数十年的问题。斯坦福大学的 Guy Blanc、Jordan Docter、Carmen Strassle 和 Li-Yang Tan 在评论中表示，证明的各个环节“以一种相当神奇的方式被串联在一起”。

不过，最关键的技术信息仍然缺失。目前并不清楚 PSI 使用的是 Anthropic 的哪一款未发布模型，Anthropic 也没有回应 Business Insider 的置评请求。这意味着外界暂时无法独立判断模型在其中承担了多少工作、系统又是如何组织的。

放到更大的背景里看，这是 AI 辅助数学的又一个新的节点。今年 9 月，OpenAI 称已解决有 90 年历史的 Navier-Stokes 方程问题；UCLA 数学家 Terence Tao 上个月则表示，数学的“浪漫时代”已经结束。MIT 研究者对研究生和博士后的调查显示，76% 的人表示毕业后不太可能留在学术数学界。接下来值得关注的是：PSI 是否会公开证明细节与模型身份，以及数学界能否对这份证明完成独立验证。