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…
Lean
September 5, 2026 · Research · Anthropic Anthropic said a Claude system working largely autonomously for 11 days on the Prove2Me platform produced the first…