![](/sites/default/files/styles/full_width_big/public/2023-10/VPDM_207_La-conjecture-de-Kepler-ou-comment-ranger-ses-boulets_csv_00003000.jpg?h=d1cb525d&itok=h5TX7ivJ)
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