Activité sur La conjecture de Kepler- Comment ranger ses boulets ?

épisode S2 E7 de Voyages Au Pays Des Maths

Synopsis : Quand les mathématiques nous renseignent sur la meilleure façon d'empiler ses oranges... Formulée en 1611, la conjecture de Kepler finira par être prouvée par Thomas Hales... en 1998 ! Grâce à des méthodes informatiques peu orthodoxes pour ses collègues. La certification des démonstrations mathématiques est un chemin ardu et fastidieux.