PSI 团队调用 Anthropic（A 社）还没对外发布的超强内部模型，搭配 Agent Harness 这套智能体系统，只用三天时间完成了 Aaronson-Ambainis 猜想的完整数学证明，这个猜想也被业内叫做量子计算领域的圣杯级难题，从 2008 年提出之后，整整 18 年都没有被人类证明出来。这个猜想核心是搞清楚量子计算机在什么场景下才能拥有指数级加速优势，证明之后明确了随机输入场景下量子计算很难拿到指数级优越性，给量子优越性划定了理论边界。整套流程是先由研究人员搭建好 Agent Harness 智能体框架，接入 A 社内部模型，让 AI 自主推导证明思路，产出证明文稿之后再交给 Lean 形式化证明助手做严谨校验，校验通过才算完成证明。不过这个内部模型还没有正式对外公布参数和能力细节，成果也只是理论层面的数学结论，不等于直接造出更强的量子计算机。
核心主体清单
- 模型：Anthropic 未公开内部模型，网传猜测为 Model 4
- 智能体系统：Agent Harness，由 PSI 研究员 David Turturean 搭建
- 目标难题：Aaronson-Ambainis 猜想（量子计算圣杯）
- 验证工具：Lean 证明助手，用来自动核验每一步推导逻辑
- 执行团队：Physical Superintelligence（PSI）实验室
Agent Harness 在本次任务里起到的作用
- 任务编排：把大的猜想证明任务拆成多个数学子问题，分批次交给模型处理
- 迭代试错：自动把模型产出的证明片段送入 Lean 校验，根据报错信息回头调整证明思路
- 链路闭环：不用研究人员逐句手动改稿，自动循环生成、校验、修正，大幅压缩周期
- 结果汇总：把多轮推导出来的零散步骤整合为完整、可发表的证明文档
这项成果带来的影响
- 理论层面：解决了量子信息论一个长期悬案，明确量子加速不是万能的，随机场景下很难实现指数优势
- AI 科研范式：证明 AI 智能体系统可以独立攻克高难度纯数学猜想，科研效率远超人类
- 行业边界：不否定量子计算价值，只是限定了量子优越性的适用条件，量子计算在特定结构问题上依旧有优势
- 待确认点：A 社没有官宣这个内部模型，模型真实能力、训练信息都还没有公开
【相关 FAQ】
问题 1：A 社超强模型搭配 Agent Harness 三天攻破的量子计算圣杯是什么猜想？
回答 1：A 社超强模型搭配 Agent Harness 三天攻破的量子计算圣杯就是 Aaronson-Ambainis 猜想，这个猜想 2008 年提出，困扰学界 18 年，用来研究量子计算机指数级加速的适用边界。
问题 2：Agent Harness 是直接自己完成证明，还是配合 A 社超强模型一起攻破量子计算圣杯？
回答 2：Agent Harness 是智能体调度框架，不能单独完成证明，它负责拆分任务、循环校验迭代，真正负责数学推导的是 A 社超强模型，二者配合才在三天内攻破这个量子计算圣杯难题。
问题 3：A 社超强模型借助 Agent Harness 攻破量子计算圣杯，是不是代表量子计算机没用了？
回答 3：A 社超强模型借助 Agent Harness 攻破量子计算圣杯，只是证明随机输入场景很难拿到量子指数加速，并不是否定量子计算机，量子计算在有特殊结构的问题里依旧可以发挥加速优势。
问题 4：A 社超强模型靠 Agent Harness 完成量子计算圣杯证明，这个成果是不是已经完全落地商用？
回答 4：A 社超强模型靠 Agent Harness 完成量子计算圣杯证明属于纯理论数学成果，只解决理论猜想，不能直接用来制造、优化量子计算机硬件，暂时没有商用落地能力。
【参考资料】
[2026-11-07]（A 社超强模型曝光！三天攻破量子计算圣杯，Agent Harness 立大功）新智元
[2026-11-07]（刚刚，Anthropic 神秘模型出手！3 天攻克 18 年量子计算难题）新浪科技
[2026-11-07]（A 社超强模型曝光！三天攻破量子计算圣杯，Agent Harness 立大功）新浪财经
[2026-11-07]（AI 攻克 18 年量子猜想，Lean 完成形式化验证）智源社区
【免责声明】
本文仅整理公开媒体报道的 A 社超强模型、Agent Harness 攻克量子计算猜想相关信息，该内部模型尚未得到 Anthropic 官方完整官宣；猜想证明后续还会持续接受学术界同行复核，相关结论、模型性能、智能体能力均存在后续调整可能性，不构成量子计算、AI 领域投资或者技术落地的参考依据。