Hales formuló una ecuación de 150 variables que recogía cinco mil posibles agrupamientos de esferas iguales.