新智元报道的这项成果，是 PSI 团队借助 Anthropic（A 社）未公开内部模型搭配 Agent Harness 智能体系统，只用 3 天完成了 Aaronson-Ambainis 猜想的数学证明，这个猜想从 2008 年提出，已经困住学界 18 年，被称作量子计算领域的经典难题；整套证明还通过 Lean 形式化验证，确认逻辑严谨，后续 AI 还持续迭代，不断优化证明里的指数边界，把数值从 22 逐步压缩到 7，刷新理论结论。这个猜想核心是回答量子加速的边界：量子计算机能不能在随机输入场景稳定拿到指数级优势，证明给出结论，指数级量子优势依赖特定结构，随机数据场景下并不天然拥有。这里的 Agent Harness 不是模型本身，是编排、调度、迭代验证的智能体工作框架，负责串联模型推理、Lean 证明校验、反复自修正，是实现快速攻坚的关键。
一、基础信息汇总
| 项目 | 详情 |
|---|---|
| 主体 | PSI 团队 + Anthropic 内部未公开 Claude 模型（网传 Model 4） |
| 核心系统 | Agent Harness 智能体编排框架 |
| 目标难题 | Aaronson-Ambainis 猜想（2008 年提出） |
| 耗时 | 3 天完成首版证明，之后持续迭代优化 |
| 验证方式 | Lean 定理证明器形式化核验 |
| 核心结论 | 指数级量子加速需要特殊结构，随机输入场景无法稳定获得 |
| 意义 | 划定量子优越性的理论边界，属于量子计算基础理论突破 |
二、Aaronson-Ambainis 猜想是什么
这个猜想是量子查询复杂度方向的经典问题，用来界定量子计算机相比经典计算机的加速上限。简单来说：在黑盒查询模型里，面对随机、无特殊结构的数据，量子算法能不能以远少于经典算法的查询次数拿到指数优势。
过去十几年学界一直没有严格证明，很多研究只能给出部分边界；这次 AI 给出的证明直接回答了这个边界问题，对量子算法设计、量子优越性实验都有指导价值。
三、Agent Harness 在本次攻坚里的作用
Agent Harness 是一套智能体调度闭环系统，不等同于大模型本身，承担这些工作：
- 拆解数学猜想，生成多条证明思路、中间引理
- 调用 Anthropic 内部模型做代数推导、组合论证
- 自动把证明草稿翻译成 Lean 代码，送入证明器校验
- 读取 Lean 报错反馈，回传给模型，自动修改、迭代证明
- 并行尝试多条路线，淘汰走不通的分支，收敛到有效证明
整套流程形成 “模型推理→Lean 校验→反馈修正” 的自动化闭环，才实现 3 天突破长期悬案。
四、迭代优化过程
- 第一轮：生成完整有效证明，通过 Lean 验证，得到指数 22 的边界
- 多轮自迭代：Harness 引导模型基于已有证明反复打磨中间引理
- 持续压缩边界：指数从 22→11→7，得到更紧、更优的理论结果
- 成果公开：论文、Lean 证明代码对外放出，供数学、量子领域学者复核
五、容易混淆的关键点
- 不是 AI 发明量子计算机，是 AI 完成了量子理论方向的数学猜想证明
- Agent Harness 是流程框架，算力和推理核心来自 A 社内部大模型
- 结论不否定量子计算，只是说明量子指数加速有前提条件
- 该内部模型目前没有对外发布，网传名称 Model 4 属于行业猜测，官方没有确认
六、行业影响
这是 AI 在纯数学、量子理论领域的标志性成果，证明 AI 可以参与高难度理论猜想证明，并且配合形式化工具做严谨校验；也让学界开始重视 “模型 + Harness 智能体编排” 这套范式，不再只看基础模型本身能力。
【相关 FAQ】
问题 1：A 社超强模型曝光！三天攻破量子计算圣杯，Agent Harness 立大功，这个被攻破的难题是什么？
回答 1：A 社这套系统攻破的是 Aaronson-Ambainis 猜想，2008 年提出，悬而未决 18 年，属于量子查询复杂度领域的经典猜想，用来研究量子加速的边界。
问题 2：A 社超强模型曝光，Agent Harness 在这次量子猜想证明里起到什么作用？
回答 2：Agent Harness 是智能体编排闭环框架，负责拆解问题、调度模型推理、对接 Lean 证明器校验、读取报错自动迭代修正，是实现快速证明、持续优化边界的关键。
问题 3：A 社超强模型三天攻破量子猜想，是不是代表量子计算被推翻了？
回答 3：不是，这个证明只是划定量子指数加速的适用边界，说明随机输入场景很难拿到指数优势，并不否定量子计算在其他有结构问题上的加速能力。
问题 4：A 社用来攻破量子猜想的超强模型，是已经对外发布的 Claude 吗？
回答 4：不是，这次用的是 Anthropic 内部未公开模型，网传是 Claude Model 4，官方没有正式公布该模型，普通用户无法调用。
【参考资料】
[2026-11-07]（A 社超强模型曝光！三天攻破量子计算圣杯，Agent Harness 立大功）新智元
[2026-11-07]（AI 攻克 Aaronson-Ambainis 猜想，Lean 完成形式化验证）新浪财经
[2026-11-07]（PSI 团队公布 Aaronson-Ambainis 猜想证明成果）智源社区
[2026-11-07]（Harness 智能体框架在数学证明中的应用解读）36 氪
【免责声明】
本文内容为新智元报道成果整理，该 A 社内部模型并未官方发布，Model 4 仅为行业猜测；猜想证明结论还在学术圈复核讨论，AI 数学证明能力有边界，不代表可以解决所有数学难题；本文不构成技术投资或者行业趋势定论。