La comprobación de Hales es una demostración por casos en la que se prueban agrupamientos mediante complejos cálculos de computadora (ordenador).