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.
8 Sep 18:47 · ZME Science
last updated on 8 Sep 20:30