Apenas un día después de que OpenAI pusiera su modelo más poderoso a disposición del público, la compañía dice que el sistema ha producido una prueba completa de la conjetura de doble cobertura del ciclo, un célebre problema abierto en teoría de grafos que se ha resistido a los matemáticos durante aproximadamente medio siglo.
El investigador de OpenAI, Ethan Knight, anunció el resultado el 10 de julio de 2026, publicando que GPT-5.6 Sol Ultra "produjo una prueba de la conjetura del ciclo de doble cubierta de 50 años utilizando 64 subagentes en poco menos de una hora". La afirmación rápidamente subió a la cima de Hacker News, generando cientos de comentarios de matemáticos e ingenieros que debaten si la prueba es válida.
Para cualquiera que siga los últimos avances en IA, el resultado es una sorprendente demostración de hacia dónde se dirigen los modelos de frontera, y un recordatorio de que sus afirmaciones matemáticas aún deben comprobarse a la antigua usanza.
¿Qué es la conjetura de la doble cobertura del ciclo?
La conjetura se encuentra en una rama de las matemáticas llamada teoría de grafos. En términos sencillos, plantea una pregunta engañosamente simple: ¿pueden los bordes de cualquier gráfico "sin puente" (uno sin borde cuya eliminación lo dividiría) siempre estar cubiertos por una colección de ciclos de modo que cada borde aparezca exactamente dos veces?
El problema fue planteado de forma independiente por varios matemáticos a lo largo de los años, entre ellos Paul Seymour en 1979 y George Szekeres en 1973, con raíces anteriores en trabajos de W. T. Tutte y Alon Itai y Michael Rodeh. A pesar de su simple planteamiento, se convirtió en uno de los problemas no resueltos más conocidos en este campo, y los resultados parciales sólo se conocían para clases especiales de gráficos.
Según la nota de prueba publicada por OpenAI, el argumento reduce el problema a gráficos cúbicos sin bucles, luego se apoya en un resultado clásico: el teorema de flujo en ninguna parte cero sobre el grupo F32 (equivalente al teorema de 8 flujos de Tutte) y un paso clave de álgebra lineal que convierte un etiquetado de borde en la estructura necesaria para una doble cobertura de ciclo. El artículo tiene sólo unas pocas páginas y, en particular, no utiliza "ninguna matemática desarrollada en los últimos 30 años", como observó un comentarista de Hacker News.
Cómo se acercó GPT-5.6 Sol Ultra
Lo que diferencia este resultado de las respuestas ordinarias de los chatbots es cómo se implementó el modelo. GPT-5.6 Sol Ultra se ejecutó en el modo "multiagente v2" de OpenAI, poniendo en marcha un sistema de hasta 64 subagentes cooperantes que exploraron diferentes estrategias de prueba en paralelo. OpenAI publicó el mensaje completo junto con la prueba, ofreciendo una mirada poco común a las instrucciones dadas al sistema.
El mensaje instruía al modelo a "utilizar multiagente v2 de forma agresiva y dinámica", mantener una "cartera diversa de enfoques" y desplegar agentes adversarios para auditar cualquier prueba candidata en busca de errores comunes, como senderos cerrados disfrazados de ciclos o razonamiento circular accidental. Incluso le dijo al sistema que "dedicara al menos 8 horas a esto antes de siquiera pensar en regresar o darse por vencido", aunque, según se informa, la ejecución final se completó en menos de una hora.
En la sección "Declaración del uso de IA" de la nota de prueba, OpenAI es explícito: "La prueba en esta nota se debe en su totalidad a GPT 5.6 Sol Ultra y la redacción con Codex (con GPT 5.6 Sol)".
No todo el mundo está convencido todavía
La comunidad matemática ha reaccionado con una mezcla de entusiasmo y cautela, y ese escepticismo está en lo cierto. En el momento de su publicación, la prueba no ha sido verificada formalmente en un asistente de prueba como Lean, ni ha pasado la revisión por pares tradicional.
En Hacker News, varios comentaristas señalaron que las pruebas breves y elegantes de conjeturas famosas merecen un escrutinio especialmente cuidadoso. "Es una prueba muy breve que no utiliza matemáticas desarrolladas en los últimos 30 años", escribió un usuario. "Lo que no significa necesariamente que sea incorrecto, pero en ausencia de mecanización en Lean o de una revisión por pares adecuada, creo que es prematuro publicar esto".
Otros señalaron que las principales bibliotecas de pruebas formales de la teoría de grafos aún no están lo suficientemente maduras para verificar resultados de este tipo a nivel de investigación, lo que significa que la verificación puede tener que provenir de expertos humanos que lean el argumento línea por línea. La propia OpenAI enmarcó el anuncio como parte de un patrón más amplio: "Más computación en el tiempo de prueba conduce a una mayor inteligencia", dijo la compañía, señalando que el enfoque multiagente, no este único resultado, es la verdadera historia que quiere contar.
Por qué es importante
Incluso si la prueba de Cycle Double Cover finalmente necesita corrección, el episodio señala un cambio significativo en lo que los grandes modelos de lenguaje pueden hacer en matemáticas puras. Los sistemas de inteligencia artificial de frontera han producido anteriormente resultados de investigación novedosos en dominios especializados, incluidas otras afirmaciones recientes de problemas resueltos en geometría y combinatoria, pero atacar una conjetura nombrada de décadas de antigüedad con un enjambre coordinado de agentes de razonamiento eleva el listón considerablemente.
Para los investigadores, la conclusión es doble. En primer lugar, la receta de múltiples agentes (muchos intentos independientes, polinización cruzada de ideas y auditoría contradictoria) parece ser un modelo genuinamente útil para la resolución de problemas difíciles. En segundo lugar, el cuello de botella de la verificación ahora recae directamente sobre los humanos: el modelo puede generar pruebas candidatas más rápido de lo que la comunidad puede verificarlas.
Es probable que esa tensión defina la siguiente fase de las matemáticas asistidas por IA. Como lo expresó un comentarista, si esta prueba se confirma, "alguien está a punto de comenzar una lista" de otros problemas de larga data para la próxima generación de modelos.
Por ahora, los matemáticos leerán atentamente la nota de tres páginas, lápiz en mano, mientras el resto de la industria de la IA observa si el esfuerzo de una hora de GPT-5.6 se convierte en parte del registro matemático permanente.
Manténgase por delante de la IA
Para obtener más información sobre los avances en los modelos de frontera y la cobertura de la investigación de la IA, visite la [página de inicio de AI Buzz Wire] (https://aibuzzwire.news).
Leer más noticias sobre IA →---
Mantente al Día con la IALas últimas noticias, análisis y avances de inteligencia artificial, en un solo lugar.
Leer más noticias de IA →
