GPT-5.6 Sol Ultra y la Demostración de 64 Agentes de la Conjetura de la Doble Cobertura de Ciclos
OpenAI ha publicado un manuscrito de tres páginas afirmando una demostración completa de la Conjetura de la Doble Cobertura de Ciclos, un importante problema abierto en teoría de grafos que data de la década de 1970. Según los investigadores de OpenAI Ethan Knight y Noam Brown, GPT-5.6 Sol Ultra generó el resultado en menos de una hora de tiempo real mientras coordinaba hasta 64 subagentes paralelos. Luego se utilizó Codex con GPT-5.6 Sol para preparar el informe matemático final. OpenAI también publicó el prompt completo de dos páginas. Eso d
GPT-5.6 Sol Ultra y la Demostración de la Conjetura del Doble Cubrimiento de Ciclos mediante 64 Agentes
Introducción
OpenAI ha publicado un manuscrito de tres páginas en el que afirma haber demostrado por completo la Conjetura del Doble Cubrimiento de Ciclos, un importante problema abierto en teoría de grafos que se remonta a la década de 1970.
Según los investigadores de OpenAI Ethan Knight y Noam Brown, GPT-5.6 Sol Ultra generó el resultado en menos de una hora de tiempo real, coordinando hasta 64 subagentes paralelos. Posteriormente se utilizó Codex con GPT-5.6 Sol para preparar la redacción matemática final.
OpenAI también publicó el mensaje completo de dos páginas. Este documento es valioso porque muestra cómo se puede formular una tarea de investigación difícil para un sistema multiagente grande.
La advertencia clave es simple: OpenAI ha publicado una demostración reclamada, no un consenso matemático revisado por pares. Los especialistas aún deben verificar de forma independiente el argumento antes de que la conjetura pueda considerarse formalmente resuelta.
Lo que Anunció OpenAI
Ethan Knight dijo que GPT-5.6 Sol Ultra produjo una demostración de la Conjetura del Doble Cubrimiento de Ciclos con 64 subagentes en menos de una hora.
Noam Brown destacó dos puntos:
- La configuración del modelo estaba disponible públicamente, no limitada a un sistema de investigación interno.
- El cómputo paralelo en tiempo de prueba redujo el tiempo transcurrido para una tarea que de otro modo podría requerir un razonamiento secuencial mucho más largo.
OpenAI describe ultra como la configuración de mayor capacidad de GPT-5.6. Coordina múltiples agentes en flujos de trabajo paralelos y comercio un mayor uso de tokens por resultados más sólidos y un tiempo de obtención de resultados más rápido en tareas exigentes.
Lo que se Publicó
| Documento | Extensión | Propósito |
|---|---|---|
| Manuscrito de la demostración | 3 páginas | Presenta una demostración afirmativa completa |
| Mensaje completo | 2 páginas | Define el teorema, criterios de finalización, estrategia de búsqueda, gestión de agentes y requisitos de revisión |
El manuscrito de la demostración afirma que la demostración se debe enteramente a GPT-5.6 Sol Ultra y que se utilizó Codex con GPT-5.6 Sol para la redacción.
¿Qué es la Conjetura del Doble Cubrimiento de Ciclos?
Un grafo es una colección de vértices conectados por aristas.
Un ciclo es una ruta cerrada. Un puente es una arista cuya eliminación aumenta el número de componentes conexas.
La conjetura establece:
Todo grafo finito sin puentes tiene una
colección de ciclos en la que cada arista aparece exactamente dos veces.
La palabra "exactamente" crea la dificultad. Añadir un nuevo ciclo puede corregir una arista subcubierta y, al mismo tiempo, provocar que otra arista aparezca tres veces.
Por qué se Excluyen los Puentes
Un puente no puede pertenecer a un ciclo. Si una arista es la única conexión entre dos partes de un grafo, ninguna ruta cerrada válida puede incluirla. Por lo tanto, un doble cubrimiento de ciclos es imposible cuando existe un puente.
La Idea Central de la Demostración Publicada
El manuscrito no busca los ciclos requeridos directamente.
Convierte el problema en un problema de etiquetado de aristas sobre un espacio vectorial finito y luego utiliza álgebra lineal para demostrar que las etiquetas locales pueden hacerse consistentes a nivel global.
Paso 1: Reducción a Grafos Cúbicos
La demostración utiliza una reducción estándar atribuida a Jaeger. Es suficiente tratar con multigrafos cúbicos sin lazos, donde cada vértice tiene exactamente tres
aristas incidentes.
Paso 2: Asignar una Etiqueta de Flujo No Nulo
La prueba utiliza el espacio vectorial finito:
Γ = F₂³
Un flujo sin ceros asigna un vector no nulo a cada arista mientras satisface una regla de conservación en cada vértice.
Para las etiquetas de aristas incidentes x, y y z:
x + y + z = 0
La prueba se basa en el teorema establecido de que todo gráfico sin puentes tiene un flujo sin ceros sobre este grupo de ocho elementos.
Paso 3: Reemplazar Cada Etiqueta con un Conjunto de Dos Elementos
Cada arista e recibe un conjunto de dos elementos:
Pₑ ⊆ Γ
La regla local objetivo es:
Para cada vértice v y etiqueta s ∈ Γ,
el número de aristas incidentes e con s ∈ Pₑ es 0 o 2.
Fije una etiqueta s y recoja todas las aristas cuyo conjunto la contiene. Cada vértice tiene entonces grado cero o dos en ese subgrafo, por lo que las aristas seleccionadas forman una unión disjunta de ciclos.
Como cada arista tiene dos etiquetas, pertenece exactamente a dos familias de ciclos definidos por etiquetas. Esto crea una cobertura doble de ciclos.
Paso 4: Resolver la Consistencia Global
La construcción local debe coincidir en ambos extremos de cada arista.
La prueba expresa esa condición como un sistema lineal:
tᵤ + tᵥ + εₑ f(e) = dₑ
Luego se utiliza un argumento de espacio dual y paridad para demostrar que el sistema siempre tiene solución.
Por lo tanto, los conjuntos locales de dos elementos se pueden combinar en una asignación global, y los ciclos requeridos surgen automáticamente.
La Estrategia en una Oración
La prueba no construye los ciclos uno por uno. Construye etiquetas cuya estructura de paridad obliga a que aparezcan los ciclos.
Por Qué la Verificación Independiente Sigue Siendo Importante
Una prueba breve de una conjetura abierta famosa requiere una revisión cuidadosa, independientemente de si fue escrita por una persona o un sistema de IA.
Los revisores deben verificar que:
- La reducción a gráficos cúbicos se aplica exactamente como se usa.
- El teorema de flujo sin ceros tiene las hipótesis requeridas.
- El etiquetado local maneja toda configuración cúbica válida.
- El argumento de dualidad demuestra la solubilidad completa.
- Las aristas paralelas y los gráficos desconectados se manejan correctamente.
- Ningún paso asume una
forma equivalente de la conjetura.
Artículos anteriores también han reclamado pruebas de la Conjetura de la Cobertura Doble de Ciclos sin producir una resolución ampliamente aceptada. Por lo tanto, la existencia de un manuscrito no es suficiente por sí sola.
Una descripción cuidadosa es:
GPT-5.6 Sol Ultra produjo un manuscrito breve que OpenAI presenta como una prueba completa, y el argumento ya está disponible para revisión matemática independiente.
Lo Que el Prompt Hizo de Manera Diferente
El prompt no prescribió un método de prueba. Creó un contrato de tarea.
Definió:
- El teorema exacto.
- Todos los términos importantes y casos límite.
- Qué contaba como finalización.
- Qué no contaba como finalización.
- Cómo los agentes debían explorar alternativas.
- Cuándo se debía marcar una ruta como bloqueada.
- Cómo se debían revisar las pruebas candidatas.
- Qué evidencia debía devolver cada agente.
- Cuándo el agente raíz podía detenerse.
Lección de Prompt 1: Definir la Finalización, no un Procedimiento Supuesto
Para una tarea difícil con una ruta de solución desconocida, un flujo de trabajo rígido puede codificar una suposición errónea.
Un prompt más sólido define el artefacto final y las pruebas que debe superar.
Entregue un resultado completo que cumpla con todos los criterios de aceptación a continuación.
Puede elegir y revisar el proceso dinámicamente, pero el resultado final debe
cubrir cada caso establecido y superar una revisión independiente.
Lección de Prompt 2: Eliminar la Ambigüedad desde el Principio
El prompt define la clase de grafo, los puentes, los ciclos, las aristas paralelas, los grafos desconectados y la multiplicidad exacta antes de solicitar una prueba.
Para trabajos comerciales o técnicos, el equivalente es definir:
- Rango de tiempo.
- Fuente de datos.
- Grupo de usuarios.
- Unidad de medida.
- Formato requerido.
- Suposiciones permitidas.
- Casos excluidos.
- Límites de aprobación.
Lección de Prompt 3: Indicar lo que no Cuenta
El prompt rechaza:
- Pruebas solo para clases especiales de grafos.
- Cubrimientos donde algunas aristas no aparecen exactamente dos veces.
- Reducciones a otra conjetura no probada.
- Verificación solo hasta un tamaño fijo de grafo.
- Progreso parcial presentado como una solución completa.
Esta técnica evita que un agente devuelva algo impresionante pero incompleto.
Lección de Prompt 4: Preservar Rutas de Búsqueda Independientes
Se le indicó al agente raíz que comenzara con enfoques genuinamente diferentes y que no revelara la ruta favorecida a la mayoría de los agentes demasiado pronto.
Esto reduce la convergencia prematura y el pensamiento grupal.
Una cartera práctica de agentes podría incluir:
| Familia de agente | Responsabilidad |
|---|---|
| Estructural | Buscar reducciones e invariantes |
| Algebraico | Traducir el problema a ecuaciones |
| Constructivo | Construir el objeto requerido directamente |
| Computacional | Probar casos y lemas propuestos |
| Literatura | Verificar teoremas estándar |
| Adversarial | Buscar contraejemplos y suposiciones ocultas |
| Sintetizador | Comparar y fusionar resultados compatibles |
Lección de Prompt 5: Marcar Rutas Bloqueadas
Cuando una ruta se encuentra con un lema faltante tan difícil como el problema original, debe marcarse como bloqueada.
No se deben asignar agentes adicionales a menos que alguien introduzca un mecanismo, invariante, construcción o contraejemplo genuinamente nuevo.
Esto evita que los recursos informáticos se desperdicien en una reducción elegante pero circular.
Lección de Prompt 6: Separar la Generación de la Revisión
El prompt requiere que los agentes adversariales verifiquen la multiplicidad exacta, los casos de aristas paralelas, los grafos desconectados, los circuitos cerrados no válidos y
razonamiento circular.
El agente que crea una solución no debe ser el único agente que la evalúe.
Esto se aplica a lanzamientos de productos, análisis de datos, migraciones, revisiones de seguridad y flujos de trabajo legales o financieros.
Lección 7 del Prompt: Exigir Evidencia Concreta
Los subagentes deben devolver lemas, ecuaciones, construcciones o contraejemplos concretos. No se aceptaron informes vagos como "dirección prometedora".
Una instrucción reutilizable es:
Todo agente debe devolver un artefacto que otro agente pueda inspeccionar.
No acepte actualizaciones de estado sin cálculos, pruebas, fuentes,
código, ejemplos o una brecha no resuelta indicada con precisión.
La Instrucción de Ocho Horas y el Resultado de Una Hora
El prompt indica al sistema que dedique al menos ocho horas antes de considerar detenerse o rendirse. Según el anuncio de OpenAI, la prueba se produjo en menos de una hora.
Los documentos públicos no detallan exactamente cómo se interpretó esa instrucción.
Una explicación plausible es la diferencia entre el tiempo real transcurrido y el tiempo agregado de los agentes. Con 64 agentes ejecutándose en paralelo, una hora de tiempo transcurrido puede contener muchas horas-agente de trabajo.
Esto es una inferencia, no un método contable confirmado para el experimento.
Un Contrato de Tarea Multiagente Reutilizable