1,000-agent team formalizes Fermat's Last Theorem proof under safety boundaries
RLanceMartin · x · 2026-11-10
The author reports that a team of 1,000 Fable 5.2 agents, coordinated within safety boundaries, has formalized the proof of Fermat's Last Theorem — turning every step of Andrew Wiles' 1995 proof into computer-checkable form, a long-standing goal since the theorem stood unproven for 350+ years.
In September the team published the first such formalization, produced by dozens of agents running an internal model roughly comparable to Claude Fable 5.1 and orchestrated via the Prove2Me platform with one researcher directing the work.
Related event: 1000 Fable 5.2 Agents Fully Formalize Fermat's Last Theorem in 30 Hours(6 posts)→
More from coding & agent
- Meta's coding model Muse Ember goes live on OpenRouter for agent sub-task fan-out — alexandr_wang · 2026-11-10
- Meta's Muse Ember coding model is now available in OpenCode — alexandr_wang · 2026-11-10
- OpenRSI scales recursive self-improvement to SGLang-Omni, +7.6%–344% throughput via 14 merged PRs — ChengleiSi · 2026-11-10
- OpenCode cuts memory 41% and OpenClaw starts 3.1x faster with Bun AoT — steipete · 2026-11-10
- Vibe-coded ambient music DAW 'Ambient Town' in a week with Push support — kieranklaassen · 2026-11-10
- GR00T 2's WAM API lets reasoning agents steer robots by pointing in the camera view — yukez · 2026-11-10