El Teorema de los Cuatro Colores está considerado como el más difícil de entre los que tienen el enunciado más sencillo. Su demostración llevó más de 100 años de intensas investigaciones y fue el primer teorema de Matemáticas que se demostró por medio de una computadora.