El 9 de agosto de 2014, el equipo de Hales anunció que el programa que crearon logró verificar la solución de la Conjetura de Kepler propuesta por Hales, y que no encontró errores.