En 1976, Wolfgang Haken y Kenneth Appel usaron una computadora para demostrar el teorema de los cuatro colores.