El teorema de los cuatro colores recibe una rara nueva demostración
The Four-Color Theorem Gets a Rare New Proof
Un equipo de matemáticos ha producido una nueva demostración computacional del teorema de los cuatro colores, el famoso problema que fue resuelto por primera vez en 1976 con ayuda de computadoras. Aunque la prueba es más compleja que las anteriores, ofrece un método mucho más eficiente para colorear mapas y grafos, y revela nuevas propiedades estructurales de los grafos planares.
Aquí tenemos un problema que hasta un niño puede entender. Creo que esa es la razón por la que ha sido un desafío tan grande.
- pvillano
Por mucho que lo odie, no creo que alguna vez tengamos una demostración del teorema de los cuatro colores que no sea enumerando casos.
Cuando tienes una integral o la suma de una serie infinita que da como resultado pi, sabes que debe haber alguna explicación satisfactoria que involucre un círculo.
Contrasta con "Examples of patterns that eventually fail" en math stackexchange[^1]. Cuando un patrón termina en 906150257, realmente no esperas que la demostración de eso sea algo hermoso. La razón del valor exacto de una cota superior es que no es más pequeña y no es más grande.
Hay una relación entre e, i, pi y -1 que proviene de una relación más profunda entre los números complejos y la rotación.
La relación entre grafos planares, coloreo de vértices y 4 podría ser simplemente porque pusimos grafos planares y coloreo de vértices en la misma habitación y salió 4, en lugar de 3 o 5.
- andrewla
La razón por la que el teorema de los cuatro colores sigue siendo un problema fascinante para tanta gente y la fuente de tantos chiflados no es que el problema sea fácil de expresar.
Es que la demostración de Kempe, aunque al final incorrecta, es muy elegante y digerible. ¡Ver por qué es incorrecta es en realidad muy complicado! Y una vez que has visto por qué es incorrecta, parece que está a solo una o dos correcciones de ser una demostración correcta.
Si no has leído el esquema de la demostración de Kempe (el artículo de Wikipedia lo hace bastante bien), definitivamente deberías hacerlo. Te prometo que perderás al menos un poco de tiempo tratando de descubrir cómo arreglar la demostración en dos líneas y convertirte en un matemático mundialmente famoso al instante.
- pvillano
Más vale que no tenga cientos de configuraciones verificadas individualmente
Edición: maldita sea.
Justo anoche estaba pensando en el teorema de los cuatro colores en el contexto del reciente drama de Navier-Stokes, y en la publicación de Tao en Mastodon sobre la inutilidad de las formalizaciones generadas por computadora inescrutables. Me encantaría que una empresa de IA encontrara una demostración del teorema de los cuatro colores sin configuraciones verificadas individualmente, y la optimizara para la comprensibilidad humana.