¿Cuántos colores hacen falta para pintar cualquier mapa?

Cuatro colores bastan para pintar cualquier mapa plano sin que dos países vecinos compartan color, por retorcidas que sean las fronteras. Ni tres, ni cinco: exactamente cuatro alcanzan siempre.

Suena a curiosidad de niños, pero volvió locos a los matemáticos durante 124 años. Un estudiante lo notó en 1852 coloreando los condados de Inglaterra; nadie encontraba un mapa que necesitara cinco colores, pero tampoco nadie lograba demostrar que cuatro bastaran siempre.

El giro llegó en 1976: Kenneth Appel y Wolfgang Haken lo probaron reduciendo el problema a 1.936 configuraciones posibles y comprobándolas con un computador. Fue el primer gran teorema de la historia demostrado con ayuda de una máquina —y encendió un debate que aún colea: ¿es válida una prueba que ningún humano puede revisar entera a mano?

El abismo no es el mapa, es la pregunta que abrió: si una máquina “demuestra” algo verificando millones de casos que nadie leerá jamás, ¿lo entendemos de verdad, o solo confiamos en que la máquina no se equivocó?

Cuatro colores para todos los mapas del mundo. La respuesta era diminuta; la demostración cambió lo que significa “demostrar”.