Anthropic 未发布模型三天证明量子计算开放猜想，PSI 称取得重大成果

一句话看懂：物理研究机构 PSI 称，借助 Anthropic 一款尚未发布的模型，其研究系统在三天内证明了悬置约 18 年的 Aaronson-Ambainis 猜想，为量子计算优势的边界给出了更清晰的数学说明。

事件核心：发生了什么

据 Business Insider 2026 年 11 月 7 日报道，物理研究实验室 Physical Superintelligence Inc.（PSI）周五宣布，其技术团队成员 David Turturean 搭建的研究系统使用了 Anthropic 一款未公开的模型，证明了 Aaronson-Ambainis 猜想。该猜想自 2008 年提出以来一直未被证明，核心问题是：量子计算机要在哪些条件下才能相对经典计算机获得显著的指数级加速。

PSI 称系统在三天内完成证明，“解决量子计算中最基础的问题之一”。目前公开信息显示，Anthropic 未回应置评请求，具体使用的模型型号和系统细节均未披露；证明是否经过同行评审也尚不清楚。

为什么重要

该猜想关系到量子计算“能快多少、在什么结构下才能快”的判断。PSI 表示，证明表明量子计算的某些指数优势需要特殊模式或结构支撑，也就是说量子计算机存在边界——这与长期以来的猜测一致，但并不否定其在特定任务上的价值。

这已是 AI 辅助数学研究的又一案例：2026 年 9 月 OpenAI 曾称解决 Navier-Stokes 方程相关的 90 年难题。斯坦福大学研究者在 PSI 公告中评价该证明把各种要素“以近乎神奇的方式”串联起来。UCLA 教授 Terence Tao 此前也表示，数学的“浪漫时代”已经结束。AI 进入基础研究，正在改变问题被提出的节奏，而不只是辅助计算。

对用户/开发者/创作者的影响

对普通用户，短期内没有可直接使用的产品变化；对开发者而言，更值得关注的是“未发布模型 + 专用研究系统”这一组合形态——它暗示前沿实验室的能力可能先用于内部科研，再外溢为 API 或工具。目前公开信息不足以判断该能力能否产品化。对科研和内容创作者，这类案例会继续推高对 AI 生成证明可信度的讨论：结果需要独立复核，公告口径不等于学术定论。