La conjecture de Fermat enfin vérifiée par ordinateur

Le théorème du siècle est désormais infaillible! La conjecture de Fermat, ou si vous préférez le théorème de Wiles (ou Taylor-Wiles) a vu sa preuve implémentée dans LEAN. Une épopée moderne qu'on va essayer de vous raconter. Le lien sur le post d'Anthropic https://www.anthropic.com/research/fo... Le lien vers la vidéo de Loris sur la programmation sur LEAN    • Formalisation informatique de preuves par ...   Le lien vers la polémique, faites vous un avis https://terrytao.wordpress.com/2026/0... 00:00 Introduction 04:17 La programmation dans LEAN 05:35 Avertissement 07:59 Une preuve en trois parties 10:13 Première partie : irréductibilité 18:04 Deuxième partie : modularité 25:58 Troisième partie : abaissement de niveau et contradiction