Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 daysAnthropic AI 'formaliseert' bewijs van Fermat's laatste stelling in slechts 11 dagenL'IA anthropique 'formalise' la preuve du dernier théorème de Fermat en seulement 11 jours
Nature · 8 September 2026, at 05:52
Can you believe it? Anthropic AI has managed to formalize the proof of Fermat's last theorem in just 11 days, a task that was expected to take humans a decade! This breakthrough shows how AI is becoming an essential tool in mathematics, turning complex proofs into computer-verifiable code. Mathematicians are absolutely amazed by this progress, and it opens the door to scrutinizing even more mathematical concepts. Who knows what other mysteries AI might unravel in the future!Kun je het geloven? Anthropic AI is erin geslaagd om het bewijs van Fermat's laatste stelling in slechts 11 dagen te formaliseren, een taak die mensen een decennium zou kosten! Deze doorbraak toont aan hoe AI een essentiële tool wordt in de wiskunde, door complexe bewijzen om te zetten in computer-verifieerbare code. Wiskundigen zijn absoluut verbaasd over deze vooruitgang, en het opent de deur naar het onderzoeken van nog meer wiskundige concepten. Wie weet welke andere mysteries AI in de toekomst kan ontrafelen!Peux-tu le croire ? L'IA anthropique a réussi à formaliser la preuve du dernier théorème de Fermat en seulement 11 jours, une tâche qui devait prendre une décennie aux humains ! Cette avancée montre comment l'IA devient un outil essentiel en mathématiques, transformant des preuves complexes en code vérifiable par ordinateur. Les mathématiciens sont absolument émerveillés par ce progrès, et cela ouvre la voie à l'examen d'autres concepts mathématiques. Qui sait quels autres mystères l'IA pourrait résoudre à l'avenir !
