Anthropic Claude 3天攻克18年猜想

据36氪2026年11月9日17:19报道，Anthropic的非公开Claude模型被用于攻克长期悬置的Aaronson-Ambainis猜想。该猜想于2008年提出，报道标题称其此前已悬置18年。报道称，Anthropic搭建了以其内部模型为核心的Harness系统，系统建成后仅用3天便完成该猜想的求解。相关工作还提到，猜想对应的定理与推论已经完成Lean形式化。截至该报道，已知信息包括模型来自Anthropic内部、求解耗时约3天、成果已进入形式化验证阶段；报道未提供论文、审稿或外部验证等进一步细节。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。