SAN FRANCISCO, 12 de julio. OpenAI publicó el viernes, como PDF alojado en su propia red de distribución de contenido, una prueba de la conjetura de la doble cobertura de ciclos que atribuye enteramente a su modelo GPT-5.6 Sol Ultra. Según la compañía, el modelo generó el documento en menos de una hora mediante hasta 64 subagentes en paralelo, a los que la instrucción de partida ordenaba administrar de forma agresiva y dinámica en lugar de asignarles roles fijos.

La conjetura fue planteada de manera independiente por George Szekeres en 1973 y por Paul Seymour en 1979, y sostiene que todo grafo sin puentes (uno donde ninguna arista, al quitarla, lo desconecta) admite una colección de ciclos que cubre cada arista exactamente dos veces. Es uno de los problemas abiertos más conocidos de la teoría de grafos, un área de las matemáticas que estudia redes de nodos y conexiones.

El matemático Thomas Bloom, de la Universidad de Manchester, calificó el resultado como "una prueba muy linda" y señaló que la solución es "corta, elemental, y podría haberse descubierto en los años ochenta", una lectura que sugiere que el modelo explotó teoría ya existente de forma inusualmente eficaz antes que abrir un camino nuevo.

El resultado llega dos días después de que OpenAI abriera el acceso general a toda la familia GPT-5.6, de la que Sol Ultra forma parte.

No todas las lecturas fueron elogiosas. Un crítico señaló que la prueba carece por completo de citas, y remarcó que un artículo fundacional de 1983 de Bermond, Jackson y Jaeger, referencia obligada en este campo, no aparece mencionado en ningún punto del documento.

50 Años que llevaba abierta la conjetura antes de esta prueba, según su cronología de origen (1973 y 1979).

Ningún organismo independiente revisó todavía el resultado por pares, el paso que en matemáticas separa una demostración publicada de una demostración aceptada. La conjetura ya atrajo varios intentos previos a lo largo de las décadas, incluidos algunos subidos al repositorio arXiv, que más tarde resultaron tener errores o fueron retirados por sus propios autores.