§ agents · storyline
Claude autonomously formalizes Fermat's Last Theorem in Lean
Claude autonomously formalized a complete computer-checked proof of Fermat's Last Theorem in Lean over 11 days, Anthropic announced.
Anthropic: Anthropic says Claude worked “largely autonomously” over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language — We are sharing the first complete computer-checked proof of Fermat's Last Theorem.
Claude worked largely autonomously over 11 days …
§ sources3 publications · timeline below
§ how this story moved
- primary — HN Algolia — Claude / Anthropic publishes the launch post.
- Anthropic picks up coverage.
- HN Algolia — Claude / Anthropic picks up coverage.