La "Conjecture de Kepler".
L'orange est empilée.
Hales dit : "L'ordi a prouvé."

(Empilement) La conjecture (1611) sur la façon la plus dense d'empiler des sphères (comme les oranges). Thomas Hales l'a prouvée en 1998 en utilisant massivement l'ordinateur.