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