Il a fallu près de 360 ans aux mathématiciens pour démontrer cette conjecture, faite par le mathématicien Pierre de Fermat en 1637. Mais vérifier la fiabilité d'une démonstration peut aussi prendre énormément de temps, et c'est là que l'IA est intervenue.
Il a fallu près de 360 ans aux mathématiciens pour démontrer cette conjecture, faite par le mathématicien Pierre de Fermat en 1637. Mais vérifier la fiabilité d'une démonstration peut aussi prendre énormément de temps, et c'est là que l'IA est intervenue.
France Télévisions
Publié le 09/09/2026 13:20
Mis à jour le 09/09/2026 13:30
Temps de lecture : 2min
Fermat's last theorem formalised by AI agents in just 11 days | New Scientist
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever - Decrypt
Anthropic's Claude formalizes Fermat's Last Theorem in 11 days
Claude formalizza il Teorema di Fermat in soli 11 giorni
Claude formalised Fermat's Last Theorem in 11 days
Claude helps complete first formalized proof of Fermat's Last Theorem
Fermat: la dimostrazione di Wiles era giusta, ora lo dice anche l’AI
Formalizing Fermat's Last Theorem
Undici giorni invece di dieci anni, l'IA Claude traduce il teorema di Fermat - Future Tech - Ansa.it
