Dernier théorème de Fermat : à l'épreuve de l'informatique
La Science, CQFD
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.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
