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 …

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 …

Source: TechMeme
Source Link: https://www.techmeme.com/260904/p28#a260904p28