全部
全部

选一篇,慢慢读

从左侧挑一篇,正文会在这里排成书页。

文章与公开阅读资产

1000 个 Fable 5.2 智能体用 28.7 小时重做了费马大定理的形式化证明

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...

  • JK下一篇 / 上一篇
  • S收藏
  • A问 AI
  • I沉浸阅读
  • Esc退出