S2E7 · La conjecture de Kepler ou comment ranger ses boulets
Résumé
Formulée en 1611, la conjecture de Kepler concerne la meilleure façon d’empiler des oranges. Qui a dit que les mathématiques étaient trop abstraites ? La conjecture est prouvée par Thomas Hales en 1998… et avec une méthode qui ne plait pas beaucoup à ses collègues parce qu’il découpe le problème en une multitude de cas distincts qu’il traite par de méthodes informatiques. Dans la foulée de ce travail remis en cause par ses pairs, il s’intéresse à la certification des démonstrations mathématiques. En 2016, Maryna Viazovska (1984- ) démontre un « théorème d'empilement » équivalent en dimensions 8 et 24.
Date
2023-10-10
Durée
10 min
Galerie
Équipe clé
Réalisation
Équipe
Denis van Waerebeke
Director
