No eran matemáticas nuevas y complejas. No precisamente. Fue terquedad.
OpenAI dejó caer la solución a la conjetura de la doble cubierta del ciclo justo antes de lanzar su modelo más nuevo, GPT-5.6 Sol. ¿El momento? Puro marketing, por supuesto. ¿El impacto? Una revolución silenciosa en cómo vemos la inteligencia artificial y lo que puede hacer. Los seres humanos llevan más de medio siglo dándole vueltas a este problema. GPT-5.6 lo resolvió diciéndole una cosa específica: no te rindas.
Esto es parte de una tendencia más amplia. Los gigantes tecnológicos están invirtiendo dinero en matemáticas puras. No porque les importe la belleza por la belleza misma. Sino porque las matemáticas son el punto de referencia definitivo. Esto prueba el razonamiento. O al menos, la versión máquina.
“Las herramientas de IA cambiarán significativamente la investigación matemática”.
— Noga Alon, matemático de Princeton, sobre el avance del Sol. Alon calificó la prueba como sorprendentemente breve. Lo que lo hace más divertido, si me preguntas.
Esto es lo que necesita saber. La teoría de grafos suena abstracta, incluso aburrida. Un gráfico son solo puntos (vértices) y líneas (bordes) que los conectan. ¿La Internet? Es un gráfico. ¿Tu red social? También un gráfico.
En la década de 1970, los matemáticos adivinaron algo interesante sobre estas formas. Pensaron que casi todos los gráficos tienen una cubierta doble de ciclo. ¿Qué es eso? Un conjunto de bucles que cubre toda la estructura exactamente dos veces. Cada borde se encuentra dentro exactamente de dos bucles.
Bastante fácil de imaginar.
¿Probarlo? Ahí es donde se fueron las décadas.
Grandes mentes lo intentaron. Lo descifraron para casos específicos. Se acercaron. ¿Pero la prueba general? Se le escapó. Cada vez.
El viernes pasado, la IA intervino.
La solución resultó elegante. Sencillo, casi. La IA demostró que se puede cubrir el gráfico con no más de ocho bucles. Claro, hay tecnicismos. Los gráficos unidos por hilos finos (bordes cortados) no cuentan. ¿Pero para el resto? Hecho.
Aquí está el giro.
La prueba no utilizó nuevas ideas llamativas. No hay teorías innovadoras nacidas de los sueños del silicio. Recicló métodos que los humanos ya habían probado. Métodos que tiramos a la basura o dejamos en un estante porque nos aburrimos. O asustado.
¿Alguna vez pensaste que “duro” podría significar simplemente “impopular”?
Andrew Sutherland del MIT así lo cree. Sugiere que la reputación de difícil puede ser una trampa. Los estudiantes se mantienen alejados. Los expertos siguen adelante. Se convierte en una profecía de oscuridad autocumplida. Cuando un LLM no tiene un ego o una carrera de qué preocuparse, simplemente investiga.
“Seguiremos viendo problemas supuestamente ‘difíciles’ que tienen soluciones ‘fáciles’.”
Sutherland no está adivinando a ciegas. OpenAI publicó el mensaje utilizado para resolver este problema. Revela el feo trabajo mecánico detrás de la magia. El mensaje no fue poesía. Era un andamio. Instrucciones para que sesenta y cuatro agentes hablen entre sí en paralelo. Verificación cruzada. Mitigar las mentiras y alucinaciones que aquejan a estos modelos.
¿El verdadero truco? La directiva.
No se limitaron a pedir una respuesta. Le dijeron al robot: Dedica al menos 8 horas. No pienses en dejar de fumar.
La mayoría de nosotros dejaríamos de fumar a las dos horas. O diríamos: “Es imposible”.
La máquina permaneció junto al teclado. Ocho horas.
Resulta que la genialidad podría ser simplemente una resistencia que estamos demasiado cansados para dar. Y ahora que la IA está aquí, tal vez la biblioteca de problemas abiertos no sea una fortaleza. Es un jardín donde nos olvidamos de regar las flores.
