La demostración conocida más corta del teorema de los cuatro colores fue de 2011 y todavía tiene más de 600 casos.