OpenAI afirma que GPT-5.6 Sol Ultra ha demostrado un problema matemático que llevaba medio siglo abierto. La compañía publicó el 10 de julio un PDF en su CDN con una demostración de la conjetura del Cycle Double Cover atribuida por completo al modelo, generada en menos de una hora usando 64 subagentes en paralelo.
Un día antes, OpenAI había puesto Sol Ultra a disposición general. Ahora enseña lo que dice que sabe hacer.
Puntos clave
- El PDF se publicó el 10 de julio de 2026 y la autoría se atribuye entera al modelo, no a un humano.
- GPT-5.6 Sol Ultra usó hasta 64 subagentes en paralelo y produjo la demostración en menos de una hora.
- La conjetura la plantearon de forma independiente George Szekeres (1973) y Paul Seymour (1979). Llevaba sin resolverse medio siglo.
- Es una afirmación de OpenAI todavía sin validar: la comunidad matemática está revisando la prueba.
Qué es la conjetura del Cycle Double Cover
En cristiano: para cualquier grafo sin "puentes" (aristas que al quitarlas parten el grafo en dos), la conjetura dice que se puede encontrar un conjunto de ciclos que cubra cada arista exactamente dos veces. Es un enunciado sencillo de leer y endiablado de probar, de esos que resisten décadas de intentos humanos.
Lo interesante no es solo el resultado, es el método. El prompt que OpenAI compartió no reparte papeles fijos entre los agentes. Les ordena lanzar hasta 64 en paralelo hacia enfoques que compiten entre sí, auditar de forma repetida y rechazar los argumentos parciales que no cierran, gestionándolos "de forma agresiva y dinámica" en vez de asignar tareas cerradas. En vez de un cerebro pensando en línea recta, un enjambre atacando el problema desde ángulos distintos a la vez y descartando lo que no aguanta.
Ese medio siglo sin resolver tiene nombres detrás. La plantearon por separado George Szekeres en 1973 y Paul Seymour en 1979, dos figuras serias de la teoría de grafos, y desde entonces ha aguantado los intentos de la comunidad. Que caiga, si cae, en menos de una hora de cómputo es lo que hace ruido.
Es la misma idea de Sol Ultra que OpenAI preparaba para Codex, llevada a un problema de matemática pura. La paralelización masiva de subagentes es la carta que OpenAI enseña como diferencial de su tier más caro.
Cuidado con la palabra "demostrado"
Aquí toca frenar. Es una afirmación de OpenAI, no un resultado cerrado. Una demostración matemática no vale porque un modelo la escriba con seguridad, vale cuando la comunidad la revisa y la valida, y eso lleva semanas o meses. La prueba está publicada y abierta al escrutinio, que es lo correcto, pero hasta que otros matemáticos la avalen es una candidata, no un teorema.
Ya hemos visto anuncios de IA resolviendo problemas que luego resultaron tener agujeros. Conviene leer esto como lo que es: un experimento potente y verificable, no un titular de "la IA ya hace matemáticas mejor que los humanos".
Por qué importa
Más allá de si el resultado sobrevive a la revisión, la señal para una empresa es el patrón. Los 64 subagentes en paralelo son la misma arquitectura que ya empieza a estar en GPT-5.6 abierto al público y en las herramientas de coding. Un problema difícil se rompe lanzando muchos intentos que compiten y se auditan entre sí, en lugar de pedirle a un único modelo que acierte a la primera.
Eso se traduce a trabajo real. Cuando tengas una tarea peliaguda (un análisis, una migración, un cálculo con muchos caminos posibles), el patrón que gana no es "el mejor prompt", es orquestar varios intentos en paralelo y quedarte con el que aguanta la auditoría. La lección de la conjetura no es la conjetura, es cómo se atacó.
Relacionado
