Pintar un plano infinito parece un juego infantil hasta que se añade una sola regla: dos puntos separados exactamente por una unidad no pueden tener el mismo color. Nadie sabe todavía si hacen falta seis colores o siete. Pero desde octubre de 2026 existe una afirmación pública, acompañada por código formal, de que cinco ya no bastan.
El salto importa. Durante 68 años la mejor cota inferior fue cuatro. En 2018 subió a cinco. El nuevo preprint The Euclidean plane is not five-colorable pretende elevarla a seis sin imponer que las regiones de color sean continuas, medibles o bonitas. Si la demostración resiste una revisión independiente, el problema de Hadwiger-Nelson quedará reducido a una elección exacta: seis o siete.
ParallaxSee mantiene la confianza original del 58% en que, antes de terminar 2028, una construcción y una demostración públicas establecerán que el número cromático del plano euclídeo es al menos seis. El criterio exige geometría exacta o certificada y verificación independiente por matemáticos cualificados, o aceptación en una revista matemática reputada. Un anuncio, una búsqueda numérica o una comprobación producida únicamente por el mismo equipo no bastan.
La noticia llegó mucho antes del límite, pero la resolución no debe adelantarse a la comunidad. Esta edición distingue tres cosas que los titulares suelen mezclar: descubrir una estrategia, escribir una demostración completa y conseguir que otros puedan revisarla y reconstruirla. También mira el hallazgo desde México, Chile, Argentina, Uruguay y España, donde la teoría de grafos, la optimización combinatoria y la verificación formal ya forman parte de una cultura matemática compartida.
01 — La predicción recibió su mejor prueba; todavía no su veredicto final.
El 6 de octubre de 2026, OpenAI anunció una colección amplia de resultados matemáticos generados con un modelo interno. La nota de publicación explica que los manuscritos, materiales de apoyo y datos sobre el proceso se abrieron en un repositorio público. Entre ellos aparece el resultado que interesa aquí: toda coloración del plano con cinco colores contiene dos puntos del mismo color separados por una unidad.
La afirmación coincide con el núcleo de la predicción de ParallaxSee. No concluye que el número exacto sea seis, porque la conocida coloración hexagonal solo aporta una cota superior de siete. Sí afirma que el valor dejó de estar entre cinco, seis o siete y pasó a estar entre seis y siete.
El repositorio incluye una descripción del alcance de la formalización en Lean. Según ese documento, el código formaliza tanto la imposibilidad de cinco colores como la suficiencia de siete, sin suponer continuidad ni medibilidad para la cota inferior. Lean no decide por reputación: su núcleo comprueba que cada paso formal siga de axiomas y reglas declaradas. Eso reduce una parte importante del riesgo de error, pero no convierte automáticamente al propio productor en revisor independiente.
La prudencia no es ceremonial. El historial público del repositorio registra manuscritos retirados y otros reparados después del lanzamiento. Esa trazabilidad es una virtud: muestra que el conjunto se trata como investigación corregible, no como oráculo. También explica por qué esta edición conserva el estado de verificación pendiente aunque la evidencia sea extraordinariamente favorable.
El criterio editorial pide una segunda capa humana o institucional. El grupo asesor sobre matemáticas e inteligencia artificial del Institute for Advanced Study se creó precisamente para orientar la presentación responsable de resultados y proteger la comprensión matemática a largo plazo. La tarea inmediata no es celebrar o desconfiar por reflejo. Es leer, ejecutar, comprobar dependencias y localizar el punto exacto donde un argumento podría fallar.
02 — No es el teorema de los cuatro colores, aunque comparta la caja de lápices.
En un mapa político, cada país es una región y solo importan las fronteras compartidas. El teorema de los cuatro colores dice que cualquier mapa plano puede colorearse con cuatro. El problema de Hadwiger-Nelson es distinto: cada punto del plano es un vértice y dos puntos se conectan cuando su distancia es exactamente uno. Esas conexiones pueden cruzarse. No existe una partición previa en países ni una lista finita de vecinos.
Para demostrar una cota inferior basta encontrar una trampa finita. Si un conjunto de puntos y segmentos unitarios no admite cuatro colores, entonces tampoco los admite el plano que lo contiene. En 2018, Aubrey de Grey publicó un grafo unitario que elevó la cota inferior a cinco. El cambio fue enorme no porque determinara la respuesta completa, sino porque rompió un bloqueo abierto desde 1950.
La primera construcción era grande. Marijn Heule aplicó satisfacibilidad booleana y extracción de núcleos imposibles para obtener grafos unitarios de 553 vértices y certificados comprobables. El ordenador no sustituyó la definición matemática: convirtió la pregunta “¿existe una coloración con cuatro?” en una fórmula lógica y entregó una prueba verificable de que ninguna asignación funcionaba.
Después, Jaan Parts produjo una demostración de la cota cinco diseñada para ser revisada por personas. Esa sucesión enseña una lección útil para 2026. Un avance puede aparecer primero como objeto computacional, después encogerse y finalmente adquirir una explicación más transparente. El orden no rebaja el resultado; distribuye la confianza entre métodos diferentes.
La nueva demostración no se limita a una figura que pueda imprimirse en una página. Ataca directamente todas las coloraciones posibles del plano, incluso las patológicas. Por eso su revisión es más difícil y, a la vez, más valiosa: pretende cerrar las escapatorias que quedarían si solo se estudiaran mosaicos regulares, regiones suaves o patrones periódicos.
03 — Un testigo finito puede existir aunque la prueba no lo dibuje.
El criterio de esta predicción exige que el resultado proporcione o implique un grafo finito de distancia unitaria que no sea coloreable con cinco colores. La palabra “implique” es decisiva. Un teorema clásico de compacidad establece que, si cada subgrafo finito admite cinco colores, entonces el grafo infinito también los admite. Por contraposición, demostrar que el plano infinito no puede pintarse con cinco garantiza que algún testigo finito existe, aunque la prueba no lo enumere.
Antes de este salto, otras cotas mostraban por dónde podía romperse el problema. Un trabajo de 2023 estableció que el número cromático fraccionario del plano es al menos cuatro. La coloración fraccionaria permite repartir peso entre colores y funciona como una relajación: aporta estructura y límites, pero no demuestra por sí sola que cinco colores enteros fallen.
En junio de 2026, Ákos Dúcz y Dániel Varga construyeron un grafo unitario con razón de independencia menor que un cuarto. Su resultado refutó una conjetura sobre esa relajación y recuperó la cota cinco mediante otra ruta. El grafo explícito completo sería astronómicamente grande. Ese detalle anticipaba un futuro en el que la prueba importante no sería necesariamente un dibujo pequeño, sino una combinación de simetría, certificados algebraicos y argumentos de existencia.
La barrera de seis es más severa. Buscar puntos al azar produce distancias aproximadas, y una distancia de 0,999999 no es una arista válida. Encontrar un solucionador que declare “imposible” tampoco basta si nadie puede revisar el certificado. La geometría debe expresarse con números exactos o intervalos rigurosamente aislados; la no colorabilidad debe reducirse a pasos que otro programa o matemático pueda auditar.
Por eso el resultado de 2026 cambia la estrategia. En vez de apostar todo a un gigantesco catálogo de coordenadas, intenta probar una imposibilidad universal y usar compacidad para recuperar el testigo finito. Si la cadena es correcta, satisface el contrato de resolución. Si una hipótesis escondida limita las coloraciones permitidas, no lo satisface.
04 — La nueva prueba construye regularidad donde no había ninguna.
El obstáculo central es fácil de decir: una coloración arbitraria puede ser monstruosa. Sus clases de color no tienen por qué ser regiones abiertas, medibles o formadas por piezas reconocibles. Las herramientas geométricas normales —fronteras, áreas, densidades— no tienen dónde agarrarse.
La demostración propuesta avanza en dos grandes movimientos. Primero toma una coloración completamente arbitraria y la transforma en una versión “débilmente medible”. En esa versión pueden existir pares excepcionales del mismo color a distancia uno, pero el conjunto de excepciones tiene medida nula cuando se promedian posiciones y direcciones. El puente utiliza rotaciones algebraicas, promedios invariantes, análisis espectral y una rigidez que elimina componentes demasiado salvajes.
El segundo movimiento convierte esos datos débiles en restricciones geométricas. Cerca de cada punto, la prueba estudia qué colores aparecen alrededor de círculos casi unitarios. Esas posibilidades forman “paletas”. Después suaviza indicadores de color, extrae interfaces conectadas y muestra que los ciclos posibles entre cinco etiquetas solo pueden tener longitud tres, cuatro o cinco.
Cada caso termina en contradicción. Un ciclo de cinco obliga palabras angulares incompatibles. Uno de cuatro produce una regla de paridad imposible entre direcciones opuestas. Uno de tres deja una región donde solo sobreviven tres colores; allí se puede colocar una configuración de Moser, que necesita cuatro. El argumento no presupone fronteras bien dibujadas: las fabrica mediante promedios, límites y topología.
Esta arquitectura explica tanto el entusiasmo como el trabajo de revisión. No es suficiente comprobar un cálculo local. Hay que verificar que el paso de etiquetas arbitrarias a campos medibles conserve exactamente la exclusión de distancia unitaria; que las selecciones sean medibles; que los conjuntos excepcionales no vuelvan a entrar por un límite; y que los cruces topológicos realmente produzcan los ciclos anunciados. La formalización ayuda, pero una lectura humana debe confirmar que el enunciado formal corresponde al problema original y que no se formalizó una versión más estrecha.
05 — La IA llegó aquí siguiendo una cadena de problemas verificables.
Este resultado no apareció en un vacío. En mayo de 2026, otro modelo de OpenAI produjo una refutación de una conjetura central sobre distancias unitarias. Aquella investigación combinó experimentos computacionales con técnicas de teoría algebraica de números y revisión humana. No resolvió Hadwiger-Nelson, pero mostró que un sistema podía proponer una estructura que luego se tradujera a matemáticas convencionales.
Un trabajo posterior describió búsqueda de demostraciones formales impulsada por IA. La ventaja de un asistente de pruebas es que cada lema debe encajar en un lenguaje preciso. La desventaja es el costo de formalizar definiciones, bibliotecas y detalles que un artículo humano da por obvios. Una prueba corta en papel puede exigir miles de líneas; una prueba larga puede revelar dependencias invisibles precisamente porque el sistema no acepta saltos retóricos.
Otra investigación sobre matemáticas autónomas propuso ciclos en los que los modelos generan conjeturas, buscan contraejemplos, escriben pruebas y reciben retroalimentación de verificadores. Hadwiger-Nelson encaja especialmente bien: la pregunta es nítida, las configuraciones finitas se traducen a lógica y la geometría exacta permite certificados. Pero el nuevo manuscrito va más lejos que una búsqueda combinatoria; usa teoría ergódica, análisis armónico y topología.
La lección no es que la IA “vio” una imagen que los humanos ignoraban. Es que pudo recorrer muchas representaciones del mismo obstáculo: coloraciones como funciones, grafos como fórmulas, rotaciones como acciones de grupo, frecuencias como medidas y fronteras como objetos topológicos. El hallazgo útil aparece cuando esas representaciones se conectan con una cadena verificable.
Tampoco conviene convertir el modelo en autor infalible. La propia colección incluye correcciones. La ventaja científica está en publicar la ruta, fijar versiones, exponer código y permitir que otros equipos ataquen el punto más débil. La predicción se resolverá por esa infraestructura social de contraste, no por el tamaño del modelo que escribió el primer borrador.
06 — La prueba formal es una herramienta de confianza, no un certificado de comprensión.
Europa ya financia proyectos que integran descubrimiento matemático y formalización desde el comienzo. El proyecto HALF, descrito en español por CORDIS, busca desarrollar análisis armónico y verificar simultáneamente sus resultados en Lean. La idea es relevante aquí: no traducir una prueba a código años después, sino diseñar definiciones y lemas para que la máquina pueda comprobarlos mientras la teoría avanza.
Otro proyecto europeo construye una plataforma para pruebas formales con herramientas de IA y autoformalización. Su diagnóstico es sobrio: la verificación informática gana terreno, pero muchas funciones siguen en fase de prueba de concepto. Abrir repositorios no elimina problemas de versiones, bibliotecas, entornos de compilación ni correspondencia entre un teorema codificado y la frase que circula en prensa.
Para esta predicción, una verificación convincente puede adoptar varias formas. Un equipo externo puede recompilar la formalización con dependencias fijadas, examinar si contiene axiomas adicionales y confirmar que el teorema principal representa coloraciones arbitrarias del plano euclídeo. Matemáticos especialistas pueden revisar la prueba escrita, reconstruir los lemas clave o encontrar una demostración independiente. Una revista puede organizar evaluación por pares y aceptar el resultado.
Ninguna vía necesita repetir todo desde cero. La independencia significa que la conclusión ya no depende únicamente de la autoridad y la infraestructura del autor original. Un revisor puede concentrarse en la transferencia de coloraciones arbitrarias a medibles; otro, en la rigidez espectral; otro, en la extracción topológica de interfaces; y otro, en el código Lean. La diversidad de métodos es una defensa contra errores correlacionados.
La comprensión humana sigue siendo necesaria por otra razón. Saber que un núcleo lógico aceptó una prueba responde “¿se sigue el teorema de estas definiciones?”. No responde por sí solo “¿por qué esta idea funciona?”, “¿qué parte podrá reutilizarse?” o “¿cómo se encontrará ahora la cota superior seis?”. Una matemática saludable quiere las dos cosas: certeza mecánica y explicación transferible.
07 — México y España llevan décadas enseñando que colorear es imponer restricciones.
El mundo hispanohablante no entra en esta historia como espectador de una noticia anglófona. En México, una charla del Instituto de Matemáticas de la UNAM sobre coloraciones y sus aplicaciones presenta el número cromático como el mínimo de clases independientes en que puede dividirse un grafo. Esa definición es exactamente la intuición del problema del plano: cada color debe seleccionar puntos sin pares a distancia uno.
La divulgación también ha preparado el terreno cultural. La revista de la UNAM ¿Cómo ves? recuerda en “Parteaguas de colores” que la prueba de los cuatro colores fue controvertida porque dependía de una computadora para revisar multitud de configuraciones. La controversia no invalidó el teorema; obligó a mejorar programas, documentación y métodos de comprobación. La discusión de 2026 repite esa pregunta a otra escala: no si una máquina puede participar, sino cómo distribuimos la confianza cuando participa en el descubrimiento completo.
España aporta el puente hacia aplicaciones. Un proyecto reciente de la Universidad Politécnica de Madrid desarrolla software para coloración de grafos y asignación de actividades. Aunque colorear aristas de una red empresarial no es colorear todos los puntos del plano, comparte el núcleo computacional: asignar etiquetas incompatibles usando la menor cantidad posible. El valor práctico de la teoría aparece en horarios, frecuencias, rutas, registros y recursos que no pueden coincidir.
Esa base pedagógica importa para la revisión. Los países hispanohablantes no necesitan esperar una traducción tardía del resultado; cuentan con comunidades capaces de leer teoría de grafos, optimización y pruebas asistidas. Lo que sí falta con frecuencia es infraestructura sostenida para formalizar investigación, recompilar artefactos y dedicar tiempo académico a verificar trabajos producidos en otros centros.
Una edición panhispánica debe evitar dos extremos: presentar la IA como magia extranjera o reducir el hallazgo a una curiosidad sin uso. La pregunta de los colores funciona como laboratorio público. Permite enseñar qué es una cota, por qué una búsqueda numérica no es una prueba y cómo un certificado puede viajar entre países sin pedir confianza personal en su autor.
08 — Chile, Argentina y Uruguay muestran una red lista para comprobar, optimizar y explicar.
Chile mantiene investigación activa en combinatoria. Un seminario de grafos de la Universidad de Chile estudia condiciones que fuerzan ciclos monocromáticos en grafos coloreados. El objeto es distinto, pero las destrezas son las mismas que exige Hadwiger-Nelson: traducir coloraciones en estructura, buscar configuraciones inevitables y distinguir un patrón observado de un teorema universal.
Argentina posee una tradición fuerte en optimización combinatoria. Una tesis de la Universidad de Buenos Aires ofrece un estado del arte sobre coloración de grafos y sus variantes y subraya la dificultad computacional de obtener soluciones exactas. Investigadores vinculados al CONICET estudian grafos perfectos, caracterizaciones y algoritmos de reconocimiento, una línea donde estructura y cómputo se corrigen mutuamente: identificar una clase especial puede transformar un problema intratable en uno resoluble.
Uruguay añade una perspectiva útil sobre la confianza. Un material de la Universidad de la República dedicado a coloración de grafos explica cómo la prueba computacional de los cuatro colores generó resistencia por la dificultad de verificar miles de configuraciones. Hoy disponemos de solucionadores, certificados y asistentes formales mucho mejores, pero la pregunta institucional persiste: ¿quién mantiene el entorno y quién vuelve a ejecutar la prueba dentro de diez años?
Estas capacidades no convierten automáticamente a una universidad latinoamericana en revisora del nuevo manuscrito. Sí demuestran que el lenguaje técnico ya está distribuido. Una colaboración regional podría dividir la verificación: reproducibilidad informática en un centro, lectura del argumento espectral en otro, examen combinatorio en un tercero y traducción pedagógica en un cuarto.
El resultado ganaría algo más que un sello. Una revisión multilingüe detecta ambigüedades que una comunidad homogénea puede pasar por alto y produce materiales para formar nuevos especialistas. En una era de descubrimientos asistidos por IA, la soberanía científica no consiste en entrenar siempre el modelo más grande. También consiste en poder comprobar, enseñar y extender una afirmación decisiva sin depender de una sola empresa o país.
09 — El 58% ya no mide la llegada de una idea, sino la llegada de consenso verificable.
Cuando se formuló la predicción el 8 de agosto de 2026, la cota conocida era cinco. ParallaxSee asignó 58% a que antes de terminar 2028 apareciera una prueba pública de seis. La publicación de octubre elimina gran parte de la incertidumbre sobre el descubrimiento: ya existe un manuscrito explícito, una formalización declarada y un repositorio versionado.
Queda la incertidumbre que importa para resolver. La prueba puede ser correcta y confirmarse pronto. Puede requerir una reparación local que no cambie el teorema. Puede esconder una dependencia formal demasiado fuerte, una brecha en la correspondencia entre texto y código o un problema en el paso de coloraciones arbitrarias a medibles. También puede aparecer una segunda demostración, quizá con un testigo finito extraíble, que vuelva innecesaria cualquier discusión sobre el primer manuscrito.
El contrato permanece sin cambios: verdadero si antes de las 23:59 UTC del 31 de diciembre de 2028 una construcción o implicación rigurosa establece que el plano no es cinco-coloreable y recibe verificación independiente cualificada o aceptación editorial reputada. No exige decidir entre seis y siete. No cuenta un resultado para coloraciones medibles, periódicas o poligonales si no alcanza el caso arbitrario. Tampoco cuenta un modelo que declare éxito sin un artefacto auditable.
Hoy la dirección es clara. La cota seis dejó de ser una esperanza abstracta y se convirtió en una afirmación concreta que cualquiera puede intentar romper. Eso es progreso matemático incluso antes del veredicto. Una buena prueba no pide fe: ofrece suficientes puntos de apoyo para que una comunidad hostil, curiosa y diversa fracase al buscar el error.
El siguiente gran objetivo será la cota superior. Si alguien construye una coloración válida con seis colores, el problema quedará resuelto exactamente. Si se demuestra que seis también fallan, siete será la respuesta. Pero esa es otra predicción. La de ParallaxSee es más estrecha: cinco no bastarán. En octubre de 2026, esa apuesta ya tiene una prueba candidata; antes de 2028 deberá tener algo más valioso, una confirmación que no dependa de quién la anunció.