专题 · FULL STORY

AI 三天证明 Aaronson-Ambainis 猜想？从宣布到质疑

Physical Superintelligence（PSI）11 月 6 日宣称其科研系统运行约三天即证明了悬置 18 年的 Aaronson-Ambainis 猜想，引发广泛关注；随后有专家指出相关说法存在误读，澄清该结果与量子加速的关联被夸大，事件真实性仍待进一步验证。

2026-11-06 ~ 2026-11-08 · 2 集 · 16 条

第 1 集 · PSI 系统 3 天证明悬置 18 年的 Aaronson-Ambainis 猜想(2026-11-06,14 条)

Physical Superintelligence（PSI）11 月 6 日宣布，其内部研发的科研系统在运行约 3 天后给出了 Aaronson-Ambainis 猜想的完整证明。该猜想由 Scott Aaronson 与 Andris Ambainis 于 2008 年提出，悬置 18 年，是量子复杂性理论的核心开放问题之一。证明经 Lean 证明助手逐步验证通过，@r0ck3t23 称通过的是两个独立的形式化验证器。这既是量子计算理论的重大进展，也是 AI 辅助科研的标志性案例。

已确认

  • PSI（Physical Superintelligence PBC）官方宣布其系统证明了 Aaronson-Ambainis 猜想，该猜想对量子计算加速具有重大意义
  • 证明经 Lean 证明助手逐步验证通过；@r0ck3t23 称通过的是两个独立的形式化验证器
  • @Hesamation 转述 David Turturean 的说法：该系统是他为 Paul Christiano 团队（psipbc）构建的研究系统
  • @CatAstroPiyush 指出，若该证明成立，意味着对一般问题量子计算机相对经典计算机只有多项式级加速；@appenz 补充说明已知的大幅量子加速（如 Shor 算法）属于该结论覆盖范围之外的情形
  • @r0ck3t23 评价称，机器提出证明后可由软件裁决真伪、无需信任生成它的模型，「犯错变便宜了」

尚未确认

  • 所用底层模型是未公开发布的 Anthropic 模型，这一说法见于 @1411337、@Pyros-SD-Models、@Hesamation、@fortnow、@rickasaurus 等多条转述，@Kyrannio 转引 MTSlive 的说法称之为未公开的 Claude 模型；@新智元 还称 PSI 为「Anthropic 旗下」团队并提到网友推测模型为未公开的 ClaudeModel4——但 PSI 官宣本身未直接提及模型身份，模型的具体版本及 PSI 与 Anthropic 的关系均属二手信息或网友推测
  • 「3 天完成证明」亦来自多家转述而非官宣原文
  • 完整证明细节及验证材料尚待更广泛的独立核查

为什么重要

  • 该猜想自 2008 年开放，关乎量子计算机何时能相对经典计算机实现加速，是量子复杂性理论的结构性问题
  • 若形式化验证无误，这是 AI 系统独立完成顶级数学证明的罕见实例，展示了前沿模型在长程科研任务上的能力
  • @rickasaurus 借此评论称，这类模型应该开放给 Anthropic 之外的研究者使用，引发对前沿模型访问权的讨论

第 2 集 · Aaronson-Ambainis 猜想据称获证，专家澄清误读(2026-11-07,2 条)

有消息称 Aaronson-Ambainis 猜想据称已被证明，该猜想将「量子计算机何时能相对经典计算机实现多项式级加速」的问题关联到一个关于多项式的数学猜想。结果公布后网络上出现大量错误解读，量子计算研究者 quantumashley 对此表示沮丧并发长帖澄清：该猜想并不限制 Shor 算法那类超多项式加速，除非输入满足特殊条件。