An AI Formalized and Verified Fermat’s Last Theorem in 11 Days, a Task Expected to Take Years

Claude did not rediscover the proof. It made the existing one machine-checkable.

Continue in Briflio to read, react, comment, and share.