-
AI Just Formalized Fermat’s Last Theorem Using 13 Million Lines of Code
https://www.bioscience.com.pk/en/subject/mathematics/ai-cracks-the-code-behind-a-legendary-theorem-in-just-11-days-after-decades-of-human-effortAnthropic’s Claude AI has successfully converted the proof of Fermat’s Last Theorem into a computer-verified Lean formalization in just 11 days. A recent collaborative effort between artificial intelligence and mathematical logic has reached a...
Results 1 - 1 of 1