- La preuve de la conjecture de Kepler institutionnalisée !
Après la conjecture des quatre couleurs (1976, W. Haken et K. Appel), un résultat majeur de mathématique a été validé après une preuve s'appuyant sur un calcul réalisé sur ordinateur : il s'agit de la preuve de la "Conjecture de Kepler", qui date de 1611, relative au meilleur empilement de sphères.
La revue américaine "Annals of Mathematics" a accepté de publier la partie théorique de la démonstration de la "conjecture de Kepler" proposée en 1998 par Thomas Hales, de l'Université de Pittsburgh (Pennsylvanie), tandis que la revue "Discrete and Computational Geometry" en publiait la partie informatique.
http://www.math.princeton.edu/~annals/