这次事件简单说就是 Anthropic（A 社）还没对外发布的 Claude 内部超强模型，靠着 Agent Harness 这套智能体支撑系统，只用三天就证明了困住学界十多年的 Aaronson-Ambainis 猜想，也就是大家口中的量子计算领域重要难题。这个猜想从 2008 年就被提出，是用来搞清楚量子计算机到底能在哪些问题上拿到真正的计算加速优势，属于量子计算里长期悬而未决的关键数学难题，很多顶尖学者研究了十几年都没有完整证明。整套工作不是模型单纯检索旧论文拼凑答案，而是 Agent Harness 给模型搭建了带反馈、迭代、验证的工作流程，模型先产出初步证明思路，再不断打磨中间推导结果，把证明里的指数参数持续优化，最后产出完整证明，再送入 Lean 形式化证明助手里面核验正确性，确认整个推导逻辑严谨无误。这次成果的意义是明确了经典计算机模拟量子观测类问题的边界，帮行业看懂量子优越性的适用范围，给后续量子算法研究提供了扎实的数学基础。
事件核心主体说明
- A 社：Anthropic，Claude 大模型开发公司，本次用到的是未公开的内部版本模型，外界猜测为 Claude Model 4
- Agent Harness：一套配套智能体运行支撑系统，不改动大模型本身权重，负责搭建任务流程、迭代反馈、对接形式化验证工具
- 目标难题：Aaronson-Ambainis 猜想，被圈内称作量子计算领域的 “圣杯” 级数学猜想
完整工作步骤清单
- 依托 Agent Harness 搭建科研智能体工作链路，接入 Anthropic 内部强能力 Claude 模型，接入 Lean 证明验证工具
- 模型自主生成猜想的初步证明方案，输出数学推导和中间结论
- 智能体循环迭代优化证明，持续压缩证明里的指数边界，反复调整推导细节
- 将成型证明交给 Lean 做形式化校验，排查逻辑漏洞，保证证明严格成立
- 完成验证，Aaronson-Ambainis 猜想正式成为被严格证明的定理
成果带来的影响
- 理论层面：划定了一类量子查询问题的模拟上限，厘清量子加速的边界条件
- AI 科研层面：验证了 Agent Harness 搭配前沿大模型，可以独立攻克长期未解的硬核数学猜想
- 行业层面：说明 AI 智能体可以作为数学家、量子研究者的强力协作工具，缩短重大猜想的研究周期
【相关 FAQ】
问题 1：Agent Harness 在 A 社模型攻破量子计算猜想这件事里起到了什么作用？
回答 1：Agent Harness 是整套任务的运行框架，它不会修改 A 社大模型本身，主要负责给模型提供规划、迭代、反馈、对接 Lean 验证工具的完整工作链路，让模型可以一步步打磨数学推导，最终在三天内完成 Aaronson-Ambainis 猜想的证明。
问题 2：A 社超强模型三天攻破的这个量子计算圣杯具体是什么？
回答 2：这个量子计算圣杯就是 Aaronson-Ambainis 猜想，是 2008 年提出、悬置多年的数学猜想，用来判断量子计算机在部分观测场景下，相比经典计算机能获得多大的加速优势，属于量子计算理论里非常关键的难题。
问题 3：这次 A 社模型靠 Agent Harness 得到的证明结果靠谱吗？
回答 3：是经过 Lean 形式化证明助手核验的，Lean 会逐行检查数学推导逻辑，排除人为或者 AI 带来的逻辑漏洞，目前这份 Aaronson-Ambainis 猜想证明已经通过形式化验证。
问题 4：这次 A 社曝光的超强模型是对外公开可用的版本吗？
回答 4：不是公开版本，属于 Anthropic 内部测试模型，外界推测是 Claude Model 4，普通用户暂时无法直接调用这个模型。
【参考资料】
[2026-11-07]（A 社超强模型曝光！三天攻破量子计算圣杯，Agent Harness 立大功）新智元
[2026-11-07]（A 社超强模型曝光！三天攻破量子计算圣杯，Agent Harness 立大功）新浪财经
【免责声明】
本文内容仅为信息整理，相关 AI 模型、Agent Harness 系统、量子猜想证明的技术细节以 Anthropic 官方正式论文、公告为准；文中观点不构成投资、科研决策建议，信息存在后续更新修正的可能性。