Comment faire apprendre la démonstration du dernier théorème de Fermat à un ordinateur ?
La Science, CQFD
00:00
Collaborer pour formaliser le dernier théorème de Fermat
Ce chapitre explore la tentative d'enseigner à un ordinateur la démonstration du dernier théorème de Fermat grâce à la plateforme Lean. Il met en lumière l'outil Lean Blueprint, qui aide les mathématiciens à structurer et à vérifier leurs avancées dans ce domaine complexe.
Transcript
Play full episode
