公众号 · 新智元·· 22 小时前精选AI 评分60
Anthropic 非公开 Claude 模型三天证明 18 年悬而未决的 Aaronson-Ambainis 猜想
A社超强模型曝光！三天攻破量子计算圣杯，Agent Harness立大功
AI 导读
Anthropic 内部非公开 Claude 模型在 Harness 系统搭建完成后三天，证明了自 2008 年悬而未决的 Aaronson-Ambainis 猜想，定理和推论已完成 Lean 形式化。该猜想把量子计算机读取输入的过程刻画为有界低阶多项式，证明后意味着经典计算机只需多项式级额外代价即可模拟量子计算机行为。研究过程中模型借助中间结果反复打磨，将指数从 22 压到 11 再到 7。
选题角度
围绕非公开 Claude 模型三天证明 Aaronson-Ambainis 猜想，讲清量子优势边界与 Lean 形式化检验这条线索。
来源：公众号 · 新智元 · mp.weixin.qq.com