Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)
Culture Index
Score Breakdown
Relevance
3/25
Freshness
25/25
Authority
25/20
Brand Signal
11/15
Depth
4/15
5-Axis Cultural Radar
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 …
