以下为上游提供的源文稿,可能存在识别错误。
乔木转写是基于源文稿的中文提炼,不是逐字翻译。请核对原文中的人名、数字与观点。
选一篇,慢慢读
从左侧挑一篇,正文会在这里排成书页。
Safely scaling multi-agent teams with Claude Fable 5.2 打开原始媒体 ↗ 打开原始媒体 ↗ 打开原始媒体 ↗ 打开原始媒体 ↗ 打开原始媒体 ↗ 打开原始媒体 ↗ Safely scaling multi-agent teams with Claude Fable 5.2 How a team of 1,000 agents running an early version of Claude Fable 5.2 reproduced a formal proof of Fermat's Last Theorem with general tools, a shared data
阅读原文 · Barry Zhang, Tianyi Peng, Elle Najt, Keller Scholl, Lance Martin
向阳乔木 · publisher
1000 个运行早期 Claude Fable 5.2 的智能体,在 28.7 小时里重做了一份费马大定理的形式化证明。和今年 9 月那次相比,它们没有使用 Prove2Me 平台,也没有研究员在旁边指挥,用掉的输出 token 大约是当时的三分之一,写出的证明大约是七分之一长。 这篇说明由 Barry Zhang、Tianyi Peng、Elle Najt...