论文研究精选
Anthropic 用 1000 个 Claude Fable 5.2 智能体在沙箱内复现费马大定理形式化证明
原始标题:Safely scaling multi-agent teams with Claude Fable 5.2
内容摘要
Anthropic 的玩具实验中,1000 个运行 Claude Fable 5.2 早期版本的智能体在无 Prove2Me 平台和研究者指导的情况下复现了费马大定理的形式化证明,耗时 28.7 小时,输出 token 仅为原 9 月形式化的三分之一,证明长度为七分之一。
内容分类AI 论文与研究
内容层级精选情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源Anthropic:Claude.dev 开发者博客(RSS)
站内情报编号intel-10efc835b48fe08a897ce697