bro just proved fermat's last theorem AS A DEMO for the fable 5.2 launch
and casually told me he's got something bigger planned for his aie code talk
lol anthropic u guys are wildin
Anthropic reports a 1,000-agent team formalized a proof of Fermat's Last Theorem
AIAnthropic reports that a team of 1,000 Fable 5.2 agents formalized a proof of Fermat's Last Theorem while coordinating within its safety boundaries. swyx shares the link and says the work was shown as a demo for the Fable 5.2 launch. The linked blog post describes the method for safely scaling multi-agent teams on long-horizon work.
swyx 🔜 aie.codesVerified on X
@swyx
i'm happy to share some recent work on safely scaling a team of 1,000 Fable 5.2 agent to tackle ambitious, long-horizon work. the team was able to formalize a proof of Fermat's Last Theorem through coordination within our safety boundaries. read it here: https://claude.dev/blog/safely-scaling-multi-agent-teams-with-fable-5-2/
Source details
swyx 🔜 aie.codes · x.comPublished · added here
Original title: bro just proved fermat's last theorem AS A DEMO for the fable 5.2 launch