Model Releases
Anthropic says Claude worked 'largely autonomously' over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)
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 compute
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 …
Related
Source: Techmeme | 2026-09-04