Dernier théorème de Fermat : à l'épreuve de l'informatique
La Science, CQFD
00:00
Intro
Ce chapitre explore le dernier théorème de Fermat et les efforts d'un projet collaboratif pour enseigner cette énigme mathématique aux ordinateurs. Les intervenants mettent en lumière les avancées et les défis de l'assistance numérique dans la formalisation des démonstrations mathématiques.
Transcript
Play full episode
