En 1998 Thomas Callister Hales probó la conjetura de Kepler.