Una nueva demostración asistida por ordenador del teorema de los cuatro colores

Un equipo internacional de matemáticos e informáticos ha presentado una nueva demostración por ordenador del teorema de los cuatro colores, uno de los resultados más célebres y polémicos de las matemáticas modernas. El trabajo, liderado por Mikkel Thorup (Universidad de Copenhague) y Carsten Thomassen (Universidad Técnica de Dinamarca), junto a cuatro colaboradores de Dinamarca, Canadá y Japón, se publicó en línea en marzo de 2026 y se presentará en noviembre en el congreso anual Foundations of Computer Science.

El teorema establece que cualquier mapa plano puede colorearse con solo cuatro colores sin que dos regiones vecinas compartan tono. Fue conjeturado en 1852 por Francis Guthrie y demostrado por primera vez en 1976 por Kenneth Appel y Wolfgang Haken, quienes recurrieron a enormes cálculos con supercomputadoras para verificar 1.482 configuraciones irreducibles. Aquella demostración, la primera que dependía masivamente de un ordenador, generó un intenso debate sobre qué constituye una prueba matemática.

La nueva demostración, según sus autores, ofrece un procedimiento más eficiente para colorear mapas y aporta nuevos hallazgos sobre la estructura de los grafos planos. Aunque sigue siendo asistida por ordenador y resulta más compleja en términos computacionales, los investigadores consideran que abre vías de progreso para otros problemas abiertos de teoría de grafos.