Anthropic（业内简称 A 社）的内部未公开 Claude 大模型，依托 Agent Harness 智能体调度框架，只用三天时间完成了 Aaronson-Ambainis 猜想的数学证明，这个猜想是量子信息领域悬置 18 年的经典难题，也被业内称作量子计算的圣杯之一，整套证明已经通过 Lean 证明助手的形式化核验，确认推理逻辑自洽有效。该项目由 PSI（Physical Superintelligence）研究团队搭建整套工作流，Agent Harness 作为智能体调度层，负责拆分证明任务、迭代中间引理、自动调用模型反复试算、精简推导步骤，AI 在迭代过程里不断压缩证明里的指数参数，从最初 22 逐步优化到 7，大幅简化证明结构；这个猜想核心回答一个基础问题：量子计算机到底能在哪些问题上拿到指数级加速优势，哪些问题无法实现量子加速。需要区分清楚，这次不是 AI 造出量子计算机、也不是在量子硬件上跑模型，而是 AI 在经典侧完成量子理论的数学证明，模型本身属于 Anthropic 内部版本，暂未对外开放，外界推测该模型为 Claude Model 4。
事件核心信息表
| 项目 | 详情 |
|---|---|
| 待攻克难题 | Aaronson-Ambainis 猜想（量子信息经典猜想） |
| 耗时 | 3 天 |
| 核心底座 | Anthropic 内部非公开 Claude 模型（网传 Claude Model 4） |
| 调度框架 | Agent Harness 智能体框架 |
| 验证工具 | Lean 证明助手，形式化验证证明正确性 |
| 研究团队 | Physical Superintelligence（PSI） |
| 公开状态 | 论文与证明代码对外放出，模型本身不开放 |
Agent Harness 框架能力清单
- 任务拆解：把复杂数学猜想拆成多条子引理、子目标
- 迭代优化：自动循环生成、修改、精简证明步骤
- 结果校验：对接 Lean，自动检查推理漏洞、逻辑矛盾
- 参数调优：主动优化证明里的边界、指数、约束条件
- 多轮调度：多次调用大模型，复用中间推导成果，减少重复计算
猜想本身的意义说明
- 2008 年由 Scott Aaronson、Andris Ambainis 提出，是量子计算理论基础问题
- 核心结论：量子加速不是万能的，存在一大类问题，量子计算机无法获得指数加速
- 影响方向：量子算法设计、量子优越性实验、后量子密码安全评估
- 过往状态：全球众多量子信息学者长期尝试证明，多年没有完整严谨证明
容易混淆的误区说明
- 不是量子计算机跑 AI：AI 是经典端大模型，研究对象是量子理论数学问题
- 不是 Claude Opus / 公开版 Sonnet：使用的是 Anthropic 专属内部研究版本
- Agent Harness 不是大模型本身：它是一套智能体编排、工具调用、科研工作流框架
- Lean 核验不等于实验物理验证：核验只保证数学证明逻辑正确，不代表物理实验结论
【相关 FAQ】
问题 1：Anthropic 内部 Claude 模型借助 Agent Harness 智能体框架，三天证明 Aaronson-Ambainis 量子猜想，Aaronson-Ambainis 猜想到底解决了什么问题？
回答 1：Anthropic 内部 Claude 模型借助 Agent Harness 智能体框架，三天证明 Aaronson-Ambainis 量子猜想，这个猜想用来划定量子加速的边界，明确哪些计算问题量子计算机可以实现指数提速，哪些问题即便用量子计算机也没有加速优势。
问题 2：Anthropic 内部 Claude 模型借助 Agent Harness 智能体框架，三天证明 Aaronson-Ambainis 量子猜想，Agent Harness 在这里起到什么作用？
回答 2：Anthropic 内部 Claude 模型借助 Agent Harness 智能体框架，三天证明 Aaronson-Ambainis 量子猜想，Agent Harness 是智能体调度框架，负责拆分证明任务、循环迭代推导、对接 Lean 校验、持续优化证明里的参数与引理。
问题 3：Anthropic 内部 Claude 模型借助 Agent Harness 智能体框架，三天证明 Aaronson-Ambainis 量子猜想，普通用户现在可以直接调用这个 Claude 内部模型吗？
回答 3：Anthropic 内部 Claude 模型借助 Agent Harness 智能体框架，三天证明 Aaronson-Ambainis 量子猜想，这个是 Anthropic 专供科研的内部模型，目前没有对外开放，普通用户无法直接体验。
问题 4：Anthropic 内部 Claude 模型借助 Agent Harness 智能体框架，三天证明 Aaronson-Ambainis 量子猜想，Lean 证明助手是做什么的？
回答 4：Anthropic 内部 Claude 模型借助 Agent Harness 智能体框架，三天证明 Aaronson-Ambainis 量子猜想，Lean 是形式化证明工具，用来逐行检查 AI 产出的证明步骤，排查逻辑漏洞、保证数学推导严谨无误。
【参考资料】
[2026-11-07]（刚刚，Anthropic 神秘模型出手！3 天攻克 18 年量子计算难题）新浪科技
[2026-11-09]（A 社超强模型曝光！三天攻破量子计算圣杯，Agent Harness 立大功）36 氪
[2026-11-07]（Claude 内部模型证明 Aaronson-Ambainis 猜想）新智元
[2026-11-07]（PSI 团队发布 Aaronson-Ambainis 猜想证明预印本）arXiv
[2026-11-09]（Anthropic Claude Agent Harness 用于数学科研）Anthropic 社区
【免责声明】
本文仅整理 Anthropic 模型结合 Agent Harness 证明量子猜想的公开科研资讯，该成果为数学理论证明，不等同于量子计算机硬件突破；内部模型能力、框架细节、后续开放计划以 Anthropic、PSI 团队官方发布为准，不构成 AI 模型、量子算力采购建议。
本文来自作者[星野蜜柑]投稿，不代表诚邦网立场，如若转载，请注明出处：https://www.cbpmc.com.cn/qyzx/202611/29.html
评论列表（4条）
我是诚邦网的签约作者“星野蜜柑”！
希望本篇文章《Anthropic 内部 Claude 模型借助 Agent Harness 智能体框架，三天证明 Aaronson-Ambainis 量子猜想》能对你有所帮助！
本站[诚邦网]内容主要涵盖：互联网行业的追踪与探索
本文概览：Anthropic（业内简称 A 社）的内部未公开 Claude 大模型，依托 Agent Harness 智能体调度框架，只用三天时间完成了 Aaronson-Ambainis 猜想的数学证明，这个猜想是量子信息领域悬置 18 年的经典难题，也被业内称作量子计算的圣杯之一，整套证明已经通过 Lean 证明助手的形式化核验，确认推理逻辑自洽有效。该项目由 PSI（Physical Superintelligence）研究团队搭建整套工作流，Agent Harness 作为智能体调度层，负责拆分证明任务、迭代中间引理、自动调用模型反复试算、精简推导步骤，AI 在迭代过程里不断压缩证明里的指数参数，从最初 22 逐步优化到 7，大幅简化证明结构；这个猜想核心回答一个基础问题：量子计算机到底能在哪些问题上拿到指数级加速优势，哪些问题无法实现量子加速。需要区分清楚，这次不是 AI 造出量子计算机、也不是在量子硬件上跑模型，而是 AI 在经典侧完成量子理论的数学证明，模型本身属于 Anthropic 内部版本，暂未对外开放，外界推测该模型为 Claude Model 4。