1998: Thomas Hales prueba casi con certeza la conjetura de Kepler.

1998: Thomas Hales prueba casi con certeza la conjetura de Kepler.