El documento propone una demostración de la conjetura de la doble cobertura por ciclos, uno de los problemas abiertos más conocidos de la teoría de grafos. El argumento fue generado íntegramente por GPT-5.6 Sol Ultra y redactado con Codex, pero todavía no cuenta con revisión independiente.
Un manuscrito atribuido a OpenAI afirma haber demostrado la conjetura de la doble cobertura por ciclos, un problema de teoría de grafos planteado durante la década de 1970 y que la literatura matemática seguía considerando abierto hasta este año.
El documento, titulado A Proof of the Cycle Double Cover Conjecture, tiene una extensión de tres páginas, identifica a OpenAI como autor y contiene una declaración inusual: la demostración fue producida íntegramente por GPT-5.6 Sol Ultra, mientras que Codex, operado también con GPT-5.6 Sol, se utilizó para redactar el texto.
El presenta el resultado como un teorema: todo grafo finito, no dirigido (vértices que no tienen dirección específica) y sin puentes (es decir, que ninguna arista al eliminarse desconecta al grafo) posee una colección de ciclos que cubre exactamente dos veces cada una de sus aristas.
Si el argumento supera la revisión de especialistas, representaría un avance matemático significativo y uno de los casos más claros en los que un modelo de inteligencia artificial habría producido por sí mismo la demostración de una conjetura histórica.
Por ahora, el resultado debe tratarse como una demostración propuesta y no como una solución confirmada. El documento no identifica autores o revisores humanos, afiliaciones académicas, una revista, un repositorio científico ni un proceso independiente de validación. Tampoco se encontró un anuncio específico de OpenAI dedicado al hallazgo.
Un problema sencillo de formular y difícil de resolver
Una cobertura doble por ciclos es una colección de ciclos dentro de una red en la que cada conexión aparece exactamente dos veces. Un grafo cumple un ciclo cuando una ruta que parte de un punto, avanza por varias conexiones y regresa al punto inicial sin repetir ninguna conexión. Por ejemplo, si tres puntos están conectados formando un triángulo el recorrido A→B→C es un ciclo. Todo grafo finito, no dirigido y sin puentes posee una colección de ciclos que cubre exactamente dos veces cada una de sus aristas. Significa que, para una red que cumple esas condiciones, sería posible elegir varios recorridos cerrados de modo que cada conexión de la red forme parte de exactamente dos recorridos.
Puede imaginarse un sistema de caminos cerrados trazados sobre una red. La conjetura sostiene que, mientras ninguna conexión funcione como un puente indispensable cuya eliminación divida la red, siempre será posible encontrar recorridos cerrados que pasen dos veces por cada enlace.
El problema fue formulado en distintas versiones por William Tutte, Alon Itai, Michael Rodeh, George Szekeres y Paul Seymour. Aunque se conocen soluciones para varias familias de grafos, no se había aceptado una demostración general.
Un artículo publicado en 2025 en Discrete Mathematics todavía la describió como uno de los problemas abiertos más famosos de la teoría de grafos. Investigaciones difundidas durante 2026 continuaron estudiando resultados parciales y aproximaciones, sin asumir que la conjetura hubiera sido resuelta.
A lo largo de los años aparecieron varios manuscritos que aseguraron demostrarla, pero sus argumentos no obtuvieron aceptación general. Este antecedente vuelve indispensable que la propuesta de OpenAI sea revisada línea por línea por especialistas en combinatoria y teoría de grafos.
La reducción propuesta por GPT-5.6
La demostración parte de un procedimiento conocido: reducir el problema a grafos cúbicos, es decir, redes donde cada vértice se conecta exactamente con tres aristas. Esta transformación permite concentrarse en la clase de grafos donde se encuentra la dificultad principal.
El teorema de los 8-flujos permite asignar valores distintos de cero a las conexiones de un grafo sin puentes, manteniendo un equilibrio algebraico en cada punto de la red. La demostración propuesta utiliza ese equilibrio como punto de partida para construir los recorridos cerrados que cubrirían dos veces cada conexión.
La innovación propuesta consiste en transformar esas etiquetas algebraicas en conjuntos de dos elementos. La construcción busca que, alrededor de cada vértice, cada elemento aparezca cero o dos veces.
Si esa propiedad se cumple, las aristas que comparten cada etiqueta forman conjuntos de ciclos. Como cada arista recibe exactamente dos etiquetas, termina apareciendo en dos de esos conjuntos, lo que produciría la cobertura doble buscada.
El paso decisivo es un lema que intenta demostrar que las asignaciones construidas localmente en cada vértice pueden hacerse compatibles en los dos extremos de todas las aristas.
GPT-5.6 convierte esa compatibilidad en un sistema de ecuaciones lineales sobre un campo de dos elementos. Después utiliza un argumento de dualidad para sostener que toda obstrucción posible se cancela: cada arista problemática aparecería dos veces en una suma global y, dentro de ese sistema algebraico, dos copias equivalen a cero.
El manuscrito concluye que el sistema siempre tiene solución y, por tanto, que las etiquetas locales pueden ensamblarse en una cobertura doble de todo el grafo.
Una demostración compacta frente a un problema histórico
La brevedad del argumento es uno de sus aspectos más llamativos. La parte nueva de la demostración ocupa apenas unas páginas y se apoya en resultados clásicos sobre flujos en grafos.
Esto no constituye por sí mismo una señal de error. Algunos problemas permanecen abiertos porque falta encontrar una representación adecuada, no necesariamente porque su solución final requiera cientos de páginas.
Pero una reducción muy corta de una conjetura estudiada durante más de cinco décadas exige una revisión especialmente cuidadosa. Los especialistas deberán comprobar tanto el nuevo argumento de álgebra lineal como las condiciones utilizadas para reducir todos los grafos sin puentes al caso cúbico tratado en el documento.
También será necesario revisar las definiciones. El manuscrito permite aristas paralelas y considera dos aristas paralelas como un ciclo, una convención que debe corresponder con la formulación exacta de la conjetura que pretende resolver.
GPT-5.6 comienza a producir argumentos científicos
OpenAI lanzó públicamente la familia GPT-5.6 el 9 de julio, con Sol como su modelo principal y un modo denominado Ultra que coordina varios agentes en paralelo para dedicar mayor capacidad de cómputo a problemas complejos.
La empresa presentó mejoras en programación, investigación científica, ciberseguridad y trabajo profesional. Sin embargo, su anuncio público no mencionó la conjetura de la doble cobertura por ciclos ni describió el proceso mediante el cual se generó y verificó este manuscrito.
OpenAI ya había informado resultados matemáticos producidos con modelos anteriores, pero en esos casos destacó la intervención de investigadores humanos, la revisión de expertos o la verificación formal mediante herramientas como Lean.
El nuevo documento plantea un escenario distinto porque atribuye la demostración íntegramente al modelo. La participación humana visible se limita, según la declaración incorporada al texto, al proceso de redacción mediante Codex.
La ausencia de autores humanos también abre preguntas sobre responsabilidad científica. Si una demostración producida por IA contiene un error, no está claro quién responde por su revisión, qué personas decidieron difundirla ni bajo qué criterios se consideró suficientemente sólida.
La prueba de una prueba
El valor inmediato del manuscrito no depende únicamente de que el resultado termine siendo correcto. El caso muestra que los modelos comienzan a producir argumentos que requieren una evaluación científica real y no pueden descartarse simplemente como respuestas automáticas.
La frontera se desplaza así desde preguntar si una IA puede resolver ejercicios conocidos hacia determinar si puede introducir una idea nueva en una disciplina y someterla al mismo proceso de crítica que cualquier investigación humana.
La conjetura no debe considerarse resuelta hasta que matemáticos independientes revisen la demostración, intenten encontrar contraejemplos y comprueben cada reducción. Si el argumento resiste ese proceso, el hallazgo no solo cerraría un problema de teoría de grafos: mostraría que un sistema de IA puede intervenir directamente en la producción de conocimiento matemático original.
Por ahora, GPT-5.6 ha producido algo más difícil de clasificar que una respuesta correcta o incorrecta: una afirmación matemática suficientemente estructurada para exigir que la comunidad científica la tome en serio y trate de refutarla.
