📐 "Dernier théorème de #Fermat : à l'épreuve de l'informatique" (La Science, CQFD, 27 mars 2025)
https://www.radiofrance.fr/franceculture/podcasts/la-science-cqfd/le-dernier-theoreme-de-fermat-8350706
"Un projet collaboratif s’est donné pour objectif de formaliser la #preuve du #théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ?"