No AI summary available for this article.
Why It Matters
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 …
Provenance
Discovered via TechMeme and published by techmeme.com.
Original description
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 …
Discovered via TechMeme
Headline clustering and publisher rollups from Techmeme.
Publisher: techmeme.com
ID: https://www.techmeme.com/260904/p28#a260904p28 · Indexed about 2 hours ago