¡El 11 de julio al amanecer, OpenAI anunció oficialmente: GPT-5.6 Sol Ultra demostró con éxito la "Conjetura de la Doble Cobertura de Ciclos", un problema que ha desconcertado a la comunidad matemática durante 50 años!
Lo más sorprendente es que produjo una demostración completa en menos de una hora.
En su momento, la Conjetura de la Doble Cobertura de Ciclos, propuesta por varios matemáticos legendarios, se erigió como una montaña infranqueable en el campo de la teoría de grafos, desafiando a los mejores matemáticos del mundo.
Ahora, esa montaña ha sido allanada por la IA en menos de una hora.
Noam Brown, investigador de OpenAI, comentó con asombro: "Esto es diferente de resolver el problema de la distancia unitaria de Erdős. ¡El modelo que logró este milagro hoy está disponible públicamente para todos!"
Los internautas exclamaron: "¡La demostración es impresionante, la IA está cambiando las matemáticas!"
Un hechizo matemático que rondó como un fantasma durante 50 años
La Conjetura de la Doble Cobertura de Ciclos es uno de los problemas "coronados" de la teoría de grafos, propuesta de forma independiente por Tutte, Itai y Rodeh, Szekeres, Seymour y otros matemáticos en el siglo pasado.
En términos simples, la conjetura establece: "Todo grafo finito no dirigido y sin puentes contiene un conjunto de ciclos tal que cada arista del grafo está contenida exactamente en dos de esos ciclos."
En lenguaje sencillo: imagina una red de caminos urbanos compleja donde ninguna calle es un callejón sin salida o una ruta única.
La conjetura sugiere que siempre puedes encontrar un conjunto de "rutas de autobús circulares" tal que cada calle de la ciudad sea recorrida exactamente por dos de estas rutas circulares. Ni más, ni menos, exactamente dos veces.
Durante medio siglo, los matemáticos se devanaron los sesos intentando demostrar esta conjetura.
Jaeger demostró que era cierta para grafos planos.
Szekeres demostró que era cierta para grafos cúbicos 3-arista-coloreables.
Alspach, Goddyn y Zhang demostraron que era cierta para grafos sin puentes que no contenían el grafo de Petersen como subgrafo.
Sin embargo, todas estas eran condiciones adicionales. La demostración "completamente afirmativa" y general seguía sin lograrse, hasta la aparición de GPT-5.6 Sol Ultra.
El enfoque de OpenAI: No es una IA pensando, son 64 IA en una reunión
¿Cómo logró OpenAI que GPT-5.6 Sol Ultra abordara este problema?
En los dos PDFs que compartieron (el prompt de la tarea y la demostración completa) encontramos la respuesta.
En este sistema, la IA se dividió en 64 agentes inteligentes independientes y concurrentes, formando un equipo de investigación especial.
En el prompt, OpenAI estableció reglas extremadamente estrictas, haciendo que la IA evitara todos los errores cometidos por los investigadores humanos.
Primero, el sistema rechazaba la "uniformidad", prohibiendo métodos rígidos como "asignar N agentes a la estrategia X".
En la primera ronda, debían explorar caminos radicalmente diferentes: desde perspectivas algebraicas, inducción estructural, formulaciones de flujo, métodos de inmersión hasta métodos de parámetros extremos.
En segundo lugar, el sistema prohibía estrictamente informar a la mayoría de las IA sobre qué enfoque parecía más prometedor en ese momento.
Esto es letal en la investigación humana: una vez que una eminencia propone una dirección que parece elegante, todos se precipitan hacia ella.
El punto más admirable fue el mecanismo del "equipo de verificación".
Entre los 64 agentes, algunos estaban específicamente diseñados para actuar como "detractores". Cada prueba candidata propuesta era sometida a un ataque implacable.
"¿Cada arista está realmente cubierta solo dos veces? ¿No te equivocaste en el cálculo?" "¿Estás confundiendo callejones sin salida repetitivos con ciclos?" "¿Tu método de inducción introduce subrepticiamente un puente?"
Solo las demostraciones que sobrevivían a este riguroso escrutinio y corrección de errores podían pasar a la siguiente ronda.
Además, se prohibía estrictamente a la IA hacer promesas vacías.
El sistema advertía severamente a la IA: rechazar afirmaciones vagas como "este paso obviamente se cumple". Debían proporcionar lemas específicos, construcciones, ecuaciones o contraejemplos.
Si llegaban a un callejón sin salida, debían marcarlo inmediatamente como "bloqueado", y no podían desperdiciar más poder de cómputo a menos que propusieran un nuevo mecanismo.
Al final del prompt, se ordenaba a la IA: "Dedica al menos 8 horas a esto antes de considerar abandonar o devolver un resultado. No me des solo un resultado parcial; solo puedes detenerte cuando encuentres una demostración completamente afirmativa y que pase la auditoría."
Sin embargo, lo impactante fue que este equipo especial de IA regresó victorioso en menos de una hora, con un artículo matemático perfecto e impecable.
El milagro de una hora: cómo la IA desentrañó el problema
¿Qué tormenta de ideas experimentaron estos 64 agentes en esa hora?
Al abrir el segundo PDF, "Demostración de la Conjetura de la Doble Cobertura de Ciclos", podemos ver claramente el impresionante camino de razonamiento de la IA.
El texto completo fue generado por GPT-5.6 Sol Ultra y finalmente maquetado con la ayuda de Codex.
La estrategia de demostración de la IA fue una magistral "cirugía de reducción de dimensionalidad".
Paso 1: Simplificar y enfocarse en grafos cúbicos
El equipo especial de IA confirmó primero el resultado previo de Jaeger: demostrar que la conjetura es cierta para "grafos cúbicos sin bucles" equivale a demostrarla para todos los grafos.
Porque cualquier grafo puede reducirse al ámbito de los grafos cúbicos mediante transformaciones topológicas.
Paso 2: Introducir el milagroso teorema del "8-flujo"
Este fue el movimiento más brillante de toda la demostración.
La IA recuperó el "Teorema del Flujo de Grupo" del maestro de la teoría de grafos, Tutte.
Aprovechando el resultado previamente demostrado de que todo grafo sin puentes admite un "8-flujo en todas partes no nulo", la IA asignó a cada arista del grafo una etiqueta con un elemento no nulo del cuerpo finito
(un vector en un espacio tridimensional de 8 elementos).
Lo mágico de esta etiqueta es que, en cualquier intersección (vértice) del grafo, la suma de los vectores salientes y entrantes debe ser cero.
Paso 3: Construir el método de etiquetado por "conjuntos de dos elementos" (Lema 2.1)
Esto fue pura "magia" inventada por la IA.
La IA propuso un lema: si se puede asignar a cada arista un conjunto que contenga dos elementos
, y se satisface que para cada vértice, cualquier elemento aparece 0 o 2 veces, entonces el grafo tiene necesariamente una "doble cobertura de ciclos".
Es como dar a cada calle dos placas especiales, asegurando que en cada cruce, las placas del mismo color siempre entren y salgan en pares. Si esto se logra, la demostración está completa.
Paso 4: El golpe final: el ataque de reducción dimensional del álgebra lineal (Lema 2.2)
¿Cómo demostrar que siempre se pueden encontrar tales "dos placas"? La IA mostró su lado más potente como máquina: transformó abruptamente un problema de topología y teoría de grafos en un enorme sistema de ecuaciones algebraicas lineales.
Estableció un sistema de ecuaciones:
Al construir un espacio vectorial dual y utilizar la relación entre la imagen y el núcleo de una transformación lineal, la IA realizó una derivación algebraica impecable (el proceso de derivación se ve en las fórmulas 5 a 9 del PDF).
Finalmente demostró que ¡este sistema de ecuaciones siempre tiene solución!
Cuando las fórmulas (8) y (9) concluyeron, derivando finalmente que es igual a 0 (en el cuerpo
), la demostración terminó.
Así, mediante pura lógica, teoría de grupos, flujos y álgebra lineal, ¡la llave que la humanidad había buscado durante 50 años fue forjada por 64 agentes de IA en una exhaustiva y veloz enumeración y verificación cruzada!
El secreto: "Cómputo durante la prueba" (Test-Time Computation)
Esta noticia conmocionó a toda la comunidad de IA y las matemáticas.
Noam Brown, científico investigador de razonamiento en OpenAI, no pudo contener su emoción y publicó varios tuits revelando la lógica subyacente detrás de este avance: la Computación Paralela durante la Prueba (Parallel Test-Time Computation, TTC).
Noam Brown señaló: "Aumentar el TTC del modelo (dejándolo pensar más tiempo) conduce a una mayor inteligencia. Pero si extendemos el tiempo de reflexión de segundos a semanas, la latencia se convierte en un cuello de botella enorme. La fuerza de GPT-5.6 Sol Ultra radica en que amplía el TTC paralelo. Resolver un problema de 50 años, que antes podría haber tomado un día entero, ahora se comprimió a solo una hora."
Ethan Knight también anunció: "Hoy lanzamos oficialmente GPT-5.6 Sol Ultra para todos. ¡Estamos increíblemente emocionados de ver cómo, en menos de una hora, usando 64 sub-agentes, demostró la Conjetura CDC de 50 años!"
En los comentarios, los internautas expresaron emoción e incredulidad.
Exclamaron: "¡El razonamiento paralelo redefinirá los límites de lo computacionalmente posible!"
El usuario @Mikhail Rogov señaló perspicazmente: "Reducir el tiempo de un día a una hora cambia completamente el tipo de producto. El TTC paralelo hace que el razonamiento de ejecución prolongada sea prácticamente viable."
Otros sintieron un escalofrío: "El TTC paralelo más la explosión de poder de cómputo se siente como una mejora de un orden de magnitud. Suma los avances algorítmicos, modelos más grandes y más potencia... las cosas empiezan a asustar un poco..."
Por supuesto, también hubo voces de cuestionamiento lúcido.
Un usuario planteó una pregunta profunda: "El TTC paralelo ciertamente funciona, pero la pregunta no dicha es: ¿La calidad de la búsqueda de 64 agentes independientes equivale a la de una cadena de razonamiento profunda, larga y continua de un solo hilo? La amplitud y la profundidad no siempre son intercambiables."
Incluso alguien se dirigió a Noam Brown, sugiriendo que OpenAI reclute al físico contemporáneo más grande, Edward Witten, y al genio matemático Terence Tao: "¡Contrátenlos! Creo que podrían idear ideas locas que nos lleven directamente a la IAG!"
Que GPT-5.6 resuelva este problema matemático quizás no signifique una IAG (Inteligencia Artificial General) completa todavía.
Pero el hecho de que pueda realizar de forma autónoma, en una hora, todo el proceso de descomposición del problema, construcción de modelos, derivación lógica y producción de un riguroso artículo académico, muestra que la IA ya ha superado a los humanos en el campo del razonamiento lógico abstracto de alta dificultad.
Hoy, 64 agentes resuelven en una hora una conjetura de teoría de grafos de 50 años.
Mañana, si se desplegaran 640,000 agentes durante un mes, quizás podrían resolver la superconductividad a temperatura ambiente, la fusión nuclear controlada, o curar el cáncer.
Estamos un paso más cerca de la IAG.
Referencias:
https://x.com/eknight/status/2075643450196971805
https://x.com/SebastienBubeck/status/2075596982622835006?s=20
Este artículo proviene del WeChat público "新智元" (Nueva Inteligencia), autor: ASI启示录
