Thomas Hales submitted his computational proof of the Kepler conjecture to the Annals of Mathematics in 1998