In 1998 Thomas Callister Hales proved the Kepler conjecture.
Το 1998 ο Thomas Callister Hales απέδειξε την εικασία του Κέπλερ.