Claude Formalizes Fermat’s Last Theorem; Fable 5.1 Ships
Anthropic said a Claude system working largely autonomously for 11 days on the Prove2Me platform produced the first end-to-end, computer-checked proof of Fermat’s Last Theorem…
Fable
Claude Formalizes Fermat’s Last Theorem; Fable 5.1 Ships
Anthropic said a Claude system working largely autonomously for 11 days on the Prove2Me platform produced the first end-to-end, computer-checked proof of Fermat’s Last Theorem…
Claude Formalizes Fermat’s Last Theorem; Fable 5.1 Ships
September 5, 2026 · Research · Anthropic Anthropic said a Claude system working largely autonomously for 11 days on the Prove2Me platform produced the first…