AI 科研初创机构 Physical Superintelligence（PSI）对外公布，借助 Anthropic 一款尚未对外发布的内部模型搭建科研系统，仅用 3 天就完成了 Aaronson–Ambainis 猜想的完整证明，这个猜想自 2008 年提出，是量子复杂度理论里的核心公开难题，整整困扰学界 18 年，证明结果已经通过 Lean 证明助手的形式化校验，相关论文与证明代码在 GitHub 公开，猜想提出者 Andris Ambainis 本人也对这项成果给出正面评价，该结论明确了量子指数级加速的边界：量子计算机想要拿到指数级速度优势，依赖问题本身具备特定结构，在无规律、随机输入的场景下，量子计算机无法实现指数加速，纠正了 “量子计算机随便什么问题都能大幅提速” 的简单认知。整套系统由 PSI 研究员 David Turturean 搭建，人类负责选定问题、搭建系统框架，AI 负责推导证明，拿到初版证明之后，系统还两次迭代优化证明方案，不过这份成果目前还没有经过同行评审，学界还会持续核验论证细节。
核心研究信息清单
- 难题名称：Aaronson–Ambainis 猜想（阿伦森－安拜尼斯猜想）
- 提出时间：2008 年
- 研究主体：Physical Superintelligence（PSI）
- 用到模型：Anthropic 未发布内部模型，型号未披露
- 耗时：3 天产出首版完整证明，后续两次迭代优化
- 校验工具：Lean 定理证明器，逐行核验逻辑步骤
- 核心结论：量子指数级加速需要问题自带结构，随机无结构问题不存在指数加速
- 公开材料：论文、Lean 形式化证明代码上传 GitHub
- 当前状态：已通过 Lean 机器校验，尚未完成同行评审
猜想核心含义通俗说明
这个猜想研究的是量子查询复杂度，简单来说，量子计算机依靠叠加态，只需要少量读取次数就能判断答案；但这个猜想回答一个关键边界：如果输入数据完全随机、没有内在规律，量子计算机就拿不到指数级加速，只有问题本身有特殊结构，量子优势才会显现。它不是否定量子计算，而是划定量子优越性的适用范围。
角色分工对比表
| 角色 | 主要工作 |
|---|---|
| 科研人员（PSI） | 选定研究问题、搭建 AI 科研系统、设计实验框架、整理论文 |
| Anthropic 未发布模型 | 生成证明思路、推导数学步骤、迭代优化证明方案 |
| Lean 证明助手 | 自动化校验每一步逻辑，排查推理漏洞 |
| 学界同行 | 后续同行评审，核验证明是否严谨成立 |
成果带来的行业影响
- 理论层面：补齐量子加速边界的基础理论，给量子算法设计提供理论约束
- AI 科研范式：证明大模型可以介入前沿数学、量子复杂度猜想的证明，不再只是文献检索、文字整理
- 产业参考：避免企业盲目投入，知道哪些场景才有可能发挥量子计算机的独特加速价值
- 风险提醒：该结论是查询复杂度框架下的定理，不能直接套用到所有量子计算应用场景
【相关 FAQ】
问题 1：困扰量子计算 18 年的核心难题，Anthropic 未发布模型 3 天给解了，这个难题叫什么？
回答 1：困扰量子计算 18 年的核心难题，Anthropic 未发布模型 3 天给解了，该难题是 Aaronson–Ambainis 猜想，也叫阿伦森－安拜尼斯猜想。
问题 2：困扰量子计算 18 年的核心难题，Anthropic 未发布模型 3 天给解了，这个猜想讲的是什么？
回答 2：困扰量子计算 18 年的核心难题，Anthropic 未发布模型 3 天给解了，它研究量子计算机什么时候能实现指数加速，结论是随机无结构的问题无法获得指数加速，加速需要问题具备特殊结构。
问题 3：困扰量子计算 18 年的核心难题，Anthropic 未发布模型 3 天给解了，证明结果已经确认没问题了吗？
回答 3：困扰量子计算 18 年的核心难题，Anthropic 未发布模型 3 天给解了，证明已经通过 Lean 机器校验，但还没有经过同行评审，学术界还会持续复核论证细节。
问题 4：困扰量子计算 18 年的核心难题，Anthropic 未发布模型 3 天给解了，是 Anthropic 自己做的研究吗？
回答 4：不是，困扰量子计算 18 年的核心难题，Anthropic 未发布模型 3 天给解了，研究由 PSI（Physical Superintelligence）团队主导，只是调用 Anthropic 未公开内部模型作为推理工具。
【参考资料】
[2026-11-07]（困扰量子计算 18 年的核心难题，Anthropic 未发布模型 3 天给解了）新智元
[2026-11-07]（刚刚，Anthropic 神秘模型出手！3 天攻克 18 年量子计算难题）新浪科技
[2026-11-08]（Anthropic 未公开模型 “立功”，AI 助力攻克量子计算重大猜想）环球网
[2026-11-06]（An unreleased Anthropic model just killed an 18-year-old quantum computing conjecture — in three days）Singularity.Kiwi
【免责声明】
本文仅整理 PSI 对外发布的预印本与公开资讯，该证明尚未经过同行评审，最终结论、学术价值以后续学术圈核验结果为准；不构成量子计算项目、AI 科研项目投资的参考建议，前沿理论成果距离产业化落地还有很长周期。