Des mathématiciens se sont lancé le défi d'apprendre le dernier théorème de Fermat à un ordinateur en décomposant ultra-finement sa démonstration et en la traduisant en langage informatique. Une tâche collaborative... et titanesque !