Anthropic内部Claude模型三天证明Aaronson-Ambainis猜想
A社超强模型曝光，三天攻破量子计算圣杯，Agent Harness立大功
AI 导读
文章介绍Anthropic旗下Physical Superintelligence团队的非公开Claude模型在以内部模型为核心的Harness系统搭建完成后，仅用三天证明了2008年悬而未决的Aaronson-Ambainis猜想，证明已完成Lean形式化。
推荐理由
文章梳理了Aaronson-Ambainis猜想被AI证明的来龙去脉，读者可以借此了解量子优势的边界与AI辅助数学证明的工作方式。