El teorema de cuatro colores fue demostrado con la ayuda de un ordenador.