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/