PSI 团队借助 Anthropic 未公开 AI 模型搭建的研究系统，只用三天就完成了 Aaronson-Ambainis 猜想的完整证明，这个猜想是 2008 年提出，在量子查询复杂度领域搁置 18 年的核心难题，证明内容已经通过 Lean 证明助手做形式化校验，不过目前还没有完成正式同行评审。这个猜想核心是搞清楚量子计算机什么时候能拿到指数级加速优势，结论简单来说：随机无结构的输入下，量子计算机很难实现指数级加速，只有数据带有特定结构、规律时，量子计算才有可能跑出远超经典计算机的效果。整个项目是人类选定研究问题、搭建 AI 运行框架，AI 负责推导、组合推理步骤产出证明，并不是 AI 凭空独立完成全部科研工作，猜想提出者之一 Andris Ambainis 也对这次 AI 辅助证明的结果做出了回应。大家要分清，这个成果属于量子复杂度理论的数学证明，不是造出了更强的量子硬件，不会直接改变当下量子计算机的实物研发进度。
猜想基础信息清单
- 猜想名称：Aaronson-Ambainis 猜想
- 提出时间：2008 年
- 研究方向：量子查询复杂度、量子加速边界
- 研究机构：Physical Superintelligence（PSI）
- 核心工具：Anthropic 未公开 AI 模型、Lean4 形式化证明助手
- 耗时：从启动到产出首版完整证明 3 天
- 核心结论：量子计算指数级优越性依赖输入数据具备特殊结构，纯随机输入无法获得指数级加速
关键概念对比表
| 场景 | 量子计算加速潜力 | 说明 |
|---|---|---|
| 带规律、有结构输入 | 存在指数级加速 | 典型例子：Shor 大数分解算法 |
| 无规律纯随机输入 | 不存在指数级加速 | 本次猜想证明的核心结论 |
本次证明的完整流程
- 研究人员确定目标：尝试证明 Aaronson-Ambainis 猜想，搭建 AI 研究系统；
- 调用 Anthropic 内部非公开模型，启动推理推导；
- 运行到第三天，产出第一版完整证明；
- 使用 Lean4 对证明每一步推理做机器校验，校验通过；
- 团队迭代优化出多个版本证明，同步公开预印论文与 Lean 校验代码；
- 等待学术界同行评审，确认结论的严谨性。
需要留意的局限
- AI 只是辅助推导工具，选题、系统搭建、结果核验都由科研人员主导；
- Lean 只能校验证明逻辑自洽，无法自动判断证明是不是对应原题；
- 当前只是预印本阶段，正式同行评审还没完成，学界还在持续核验；
- 只解决理论边界问题，不直接提升量子芯片、量子硬件性能。
【相关 FAQ】
问题 1：AI 三天证明的这个量子计算 18 年未解猜想，名字叫什么？
回答 1：这个量子计算 18 年未解猜想是 Aaronson-Ambainis 猜想，是量子查询复杂度领域的经典开放问题。
问题 2：AI 证明这个量子计算猜想，是不是代表 AI 已经可以独立做数学科研了？
回答 2：不是，AI 是辅助推导工具，研究方向、系统框架、结果核验都由科研人员把控，AI 负责组合推理步骤，不能独立完成完整科研。
问题 3：AI 证明 Aaronson-Ambainis 猜想之后，是不是量子计算机就没有价值了？
回答 3：不是，这个猜想只是划定了量子加速的边界，它说明随机输入很难拿到指数优势，有结构问题依旧可以发挥量子计算优势，不会否定量子计算价值。
问题 4：AI 产出的这个量子计算猜想证明，已经被学界完全认可了吗？
回答 4：证明已经通过 Lean 机器形式校验，但论文还处于预印阶段，尚未完成正式同行评审，学界还在核验内容。
【参考资料】
[2026-11-08]（PSI Says AI System Solved an 18-Year-Old Quantum Computing Conjecture）AI World Today
[2026-11-07]（刚刚，Anthropic 神秘模型出手！3 天攻克 18 年量子计算难题）新浪财经
[2026-11-07]（Aaronson-Ambainis Conjecture Proof, With a Catch）AI Magazine
[2026-11-06]（AI 三天证明量子计算 18 年未解猜想）新智元
【免责声明】
本内容仅为该 AI 证明量子计算猜想事件的信息整理，不代表该证明结论已经最终定论；Lean 形式校验不等于同行评审通过，最终结论以学术界正式评审结果为准；成果属于理论数学推导，不构成量子硬件、量子算法相关投资、研发指引。