Des experts viennent de valider la démonstration, par ordinateur, du célèbre problème de Kepler. Oui, mais à... 99% seulement ! Où est donc passée l'exigence de certitude si chère aux mathématiciens ?

Une pile d'oranges sur un étal, soigneusement placées pour économiser l'espace... Un souci d'épicier qui est aussi l'objet de la "conjecture de Kepler", l'une des plus difficiles des mathématiques. A tel point qu'un projet informatique se propose de passer au crible sa démonstration, réalisée en 1998.