Dernier théorème de Fermat : à l'épreuve de l'informatique
La Science, CQFD
00:00
La démonstration du dernier théorème de Fermat
Ce chapitre se concentre sur la complexité et la beauté de la démonstration du dernier théorème de Fermat, mettant en lumière l'interaction entre les courbes elliptiques et les formes modulaires. Les intervenants discutent des défis liés à la formalisation numérique de cette preuve, ainsi que du rôle croissant des assistants de preuve dans le domaine des mathématiques. Enfin, le chapitre met en avant un projet open source visant à formaliser cette démonstration, illustrant l'importance de la collaboration internationale et de la rigueur scientifique.
Transcript
Play full episode
