Mathematicians Thomas Hales and Samuel Ferguson reduced the Kepler conjecture to 1,762 geometric configurations to verify computationally