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.