La conjecture de Kepler
Qui a dit que les mathématiques étaient trop abstraites ? Formulée en 1611, la conjecture de Kepler étudie la meilleure façon d’empiler des oranges ! En 1998, elle est prouvée par Thomas Hales, grâce à des méthodes informatiques peu orthodoxes pour ses collègues... Dans la foulée de ce travail, il s’intéresse à la certification des démonstrations mathématiques. En 2016, Maryna Viazovska démontre un « théorème d'empilement » équivalent en dimensions 8 et 24.
Un épisode de la série « Voyage au pays des maths »
Réalisation : Denis van Waerebeke , Cédric Piktoroff
Production : Les Films d'Ici, Arte GEIE, Les Films du Poisson Rouge, en partenariat avec Universcience
Année de production : 2023
Durée : 10min04
