Fermat’s Last Theorem
AI overview
Sign in and the AI will write an overview from our coverage.
Headlines · 1
- 1,000 Claude Fable 5.2 agents reproduce a formal Fermat proof
Anthropic reports that 1,000 agents running an early version of Claude Fable 5.2 reproduced a Lean-checked formalization of Fermat’s Last Theorem without Prove2Me or researcher steering. The team took 28.7 hours, used one-third as many output tokens, and produced a proof one-seventh the length of the earlier formalization. The toy experiment operated in an isolated sandbox with command screening and offline monitoring, so its results do not establish performance outside that controlled setup.
Claude Developer Blog · 🔥 20
Experience and discussion from the community
Share my Fermat’s Last Theorem experienceAsk about Fermat’s Last Theorem
Nobody has shared their experience with Fermat’s Last Theorem yet.