Model Releases
Anthropic says its first Fermat runs failed not on math, but because dozens of Claude agents lost track of shared project state. They only s…
Anthropic says its first Fermat runs failed not on math, but because dozens of Claude agents lost track of shared project state. They only succeeded after moving to Prove2Me's DAG of statements and pr
Anthropic says its first Fermat runs failed not on math, but because dozens of Claude agents lost track of shared project state. They only succeeded after moving to Prove2Me's DAG of statements and proofs. At that scale, "memory" must be external, structured infrastructure, not prompts. https://siliconangle.com/2026/09/04/anthropic-uses-claude-to-formalize-proof-of-fermats-last-theorem/
Related
- Yet another win for Neurosymbolic AI! Fermat!
- Anthropic says Claude worked 'largely autonomously' over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)
- PatchOptic for Shared-State LLM Workflows with Projected Views and Verified Structured Updates
- Anthropic uses Claude to formalize proof of Fermat’s Last Theorem
Source: Francois Chollet (X) | 2026-09-05