1953: Laszlo Feje Toth proves that the number of cases to be checked in order to prove Kepler’s Conjecture is finite.

1998: The Kepler Conjecture (now – a theorem) is proved by exhaustion: The review panel declares a “99% certainty” the proof is valid.

2003: Project Flyspeck aims to make computer-based proof to be accepted as valid proof.

2014: The project is completed successfully.

2016: The conjecture is proven in 8 dimensions and in 24 dimensions.

To the MNS presentation