Un modelo de OpenAI podría haber resuelto un problema matemático que ha desafiado a los investigadores durante décadas.
Un artículo de tres páginas alojado en la red oficial de distribución de contenidos de OpenAI afirma demostrar la Conjetura de la Doble Cubierta Cíclica, un problema clásico de la teoría de grafos. El paper sostiene que la prueba fue generada íntegramente por GPT-5.6 Sol Ultra, con Codex y GPT-5.6 Sol colaborando en la redacción final del documento.
Es una afirmación de enorme calado. Si matemáticos independientes validan la prueba, sería una señal de que los sistemas de IA avanzada pueden ir más allá de resumir investigaciones previas o ayudar con cálculos. Podrían ser capaces de producir matemáticas originales lo bastante sólidas como para resolver problemas que han resistido a los humanos durante años.
Por ahora, sin embargo, el resultado sigue siendo una prueba «reivindicada», no un avance plenamente aceptado.
¿Qué habría resuelto exactamente la IA?
La teoría de grafos es la rama de las matemáticas que estudia las redes.
Un grafo puede imaginarse como un conjunto de puntos conectados por líneas. Los puntos pueden representar personas, ordenadores, ciudades o cualquier otro tipo de objeto, mientras que las líneas representan relaciones o conexiones entre ellos.
La Conjetura de la Doble Cubierta Cíclica pregunta si toda red conexa sin un único punto crítico de fallo puede cubrirse con una colección de ciclos de forma que cada conexión aparezca exactamente dos veces.
Puede sonar abstracto, pero el problema lleva décadas abierto y se ha asociado a nombres de primer nivel como William Tutte, George Szekeres y Paul Seymour.
Los investigadores han logrado demostrar la conjetura para ciertas clases de grafos, pero no de forma general.
El nuevo artículo alojado por OpenAI afirma cerrar ese hueco.
La idea básica detrás de la prueba
El argumento del paper es altamente técnico, pero la estrategia general es más fácil de describir.
Primero reduce el problema a una categoría más simple de redes en las que cada punto tiene exactamente tres conexiones.
A continuación, el modelo emplea una herramienta matemática ya consolidada, conocida como «flujo», para asignar etiquetas a las conexiones de la red. Esas etiquetas se reordenan de modo que las conexiones se organicen naturalmente en ciclos.
El requisito clave es que cada conexión debe aparecer en exactamente dos de esos ciclos.
El artículo sostiene que los desajustes que quedan entre distintas partes de la red pueden resolverse mediante álgebra lineal. Una vez resuelto ese problema de consistencia, se obtiene la doble cubierta cíclica completa.
En términos más intuitivos, la IA habría tomado varias herramientas matemáticas conocidas, las habría combinado de una forma nueva y las habría utilizado para construir los ciclos necesarios en cualquier red que cumpla las condiciones del enunciado.
Por qué esto podría ser relevante para la IA
Los sistemas de IA ya se utilizan de forma generalizada para escribir código, analizar mercados, elaborar resúmenes de investigación y asistir en trabajos científicos.
Pero demostrar una gran conjetura matemática es un desafío de otro orden.
Una prueba correcta debe funcionar en todos los casos contemplados por el teorema. No basta con que resulte convincente o que produzca el resultado correcto en unos cuantos ejemplos.
También lea: Beneficio de Anthropic en el 3T se proyecta por encima de 1.000 M$ ante una OPV inminente
Por eso las matemáticas son una de las pruebas más claras de si un sistema de IA puede razonar de forma fiable, y no solo generar texto verosímil.
Si la prueba es correcta, sugeriría que los modelos de frontera están empezando a ser capaces de recombinar conocimiento establecido en argumentos genuinamente nuevos.
El impacto iría mucho más allá de la teoría de grafos. Sistemas similares podrían acabar ayudando a los investigadores a explorar cuestiones difíciles en física, criptografía, informática teórica y economía.
Ahora empieza la verdadera prueba
El hecho de que el artículo esté alojado en un dominio controlado por OpenAI le da más trazabilidad que una simple subida anónima. Pero eso no lo hace correcto por defecto.
El manuscrito no incluye autores humanos identificados, ni historial de revisión por pares, ni comentarios de grafistas independientes.
Ese contexto es importante porque los grandes problemas matemáticos atraen con frecuencia supuestas soluciones que luego resultan contener lagunas ocultas.
Una prueba puede parecer impecable a primera vista y aun así fallar porque en un paso se asume algo que no siempre se cumple, se pasa por alto un caso especial o se aplica un teorema existente fuera de su ámbito válido.
El siguiente paso es, por tanto, la verificación independiente.
Los matemáticos deberán revisar cada reducción y confirmar que el argumento de álgebra lineal funciona para todos los grafos sin puentes incluidos en la conjetura.
También podrían intentar traducir la prueba a un asistente de prueba formal, donde cada paso lógico debe ser validado por software.
Un avance reivindicado, no un hecho consumado
La forma más prudente de describir la situación hoy es decir que un modelo de OpenAI ha producido una prueba potencialmente importante que aún requiere validación externa.
Si los expertos detectan un error, el artículo podría seguir teniendo valor al introducir una nueva vía de ataque o una nueva reducción al problema.
Si la prueba supera el escrutinio, en cambio, el impacto sería mucho mayor.
Significaría que un sistema de IA no solo ha asistido a un matemático, sino que se le atribuye haber resuelto de forma autónoma un problema que llevaba generaciones abierto.
La historia, por tanto, no es todavía que la IA haya resuelto de manera definitiva la Conjetura de la Doble Cubierta Cíclica.
Es que la IA podría haberlo hecho, y ahora la comunidad matemática debe determinar si el modelo realmente ha cocinado una demostración correcta o si ha producido uno de los errores más convincentes hasta la fecha.
Lea a continuación: China negocia con Alibaba y ByteDance nuevas restricciones a la exportación de modelos de IA