Login
An AI Formalized and Verified Fermat’s Last Theorem in 11 Days, a Task Expected to Take Years
8 September 2026 at 19:47
Claude did not rediscover the proof. It made the existing one machine-checkable.Claude did not rediscover the proof. It made the existing one machine-checkable.