Le plus dense empilement de sphères est le réseau cubique à faces centrées. Cette conjecture, formalisée par Kepler en 1610, n'a été démontrée par Thomas Hales qu'en 1998. Que se passe-t-il avec d'autres solides ? Faute de théories, les chercheurs font appel à la simulation.