Claude 内部模型 3 天证明悬置 18 年的量子计算 Aaronson-Ambainis 猜想
新智元 · wechat · 2026-11-07
Anthropic 旗下 Physical Superintelligence 团队宣布，其内部模型（网友推测为未公开的 ClaudeModel4）仅用 3 天就证明了自 2008 年悬而未决的量子计算领域 Aaronson-Ambainis 猜想，证明已通过 Lean 证明助手形式化验证。
猜想的意义：该猜想源于 1994 年 Shor 算法引发的「量子霸权」热潮。Scott Aaronson 与 Andris Ambainis 将「量子计算机是否能在随机输入上实现指数级加速」抽象为纯数学问题——若量子测量对应的「有界低阶多项式」存在显著影响力变量，则经典计算机只需多项式额外代价即可模拟量子行为。定理证明了量子优势有明确边界，杀死了「量子叠加=万能指数加速」的盲目迷信，但并未否定量子霸权本身。
过程亮点：该团队上个月刚解决量子信息论五个长期问题；Harness 系统搭建后三天产出首个证明，模型实例还在迭代中把指数从 22 压到 11、再压到 7，展示了「中间结果反复打磨逼近最优边界」的发现过程。
所属事件:PSI 系统 3 天证明悬置 18 年的 Aaronson-Ambainis 猜想(14 条相关)→
「模型」频道最新
- Anthropic Artifacts 突然拦截写入，用户被要求开放网络出口权限 — KeepStandardVoice · 2026-11-08
- Qwen4 Plus 会开放权重吗？社区依据历史先例倾向乐观 — Axiomexx · 2026-11-08
- OpenAI 高管试探 $50/月中间档 ChatGPT Pro 方案 — haider1 · 2026-11-08
- 用户抱怨 Claude 安全拦截过多：拒绝贴 key、碰数据库、建仓库 — TheNasky1 · 2026-11-08
- 开发者发问：谁在做真正中立的大模型裁判？ — amplifiedamp · 2026-11-08
- Tess 作者开源微调秘方:用 Claude Code 会话训练自己的本地模型 — udmrzn · 2026-11-08