Cuando la IA resolvió un problema matemático que dejó perplejo a un experto humano por semanas

Acabo de leer un relato alucinante sobre cómo la IA resuelve problemas. Tenía que contártelo. Donald Knuth, el genio detrás de "El arte de la programación de computadoras" y una leyenda viva en informática, acaba de publicar un paper titulado "Claude's Cycles". Me dejó con la boca abierta.

El rompecabezas que lo tenía atado

Imagina una red 3D de puntos. Cada uno se une a tres vecinos en un patrón fijo. El reto: trazar tres caminos que pasen por todos los puntos una sola vez, usando cada enlace justo una vez. Son ciclos hamiltonianos dirigidos, pero sin entrar en detalles que te mareen.

Knuth lo resolvió para casos pequeños. Para los grandes, nada. Se pasó semanas dándole vueltas.

Llega Claude Opus al rescate

Un colega de Knuth, Filip Stappers, le lanzó el hueso a Claude Opus 4.6 de Anthropic. Sin grandes expectativas. Pero Claude no improvisó. Armó un método de investigación paso a paso.

Dividió el lío en 31 etapas. Empezó con ideas básicas (fallaron), pasó a trucos avanzados. Reformuló el problema, vio patrones ocultos y fue armando la solución.

Lo que me voló la cabeza: en la etapa 15, inventó una "descomposición en fibras". Básicamente, cortó el problema en trozos digeribles. No es fuerza bruta. Es intuición matemática pura.

El momento de la gloria

Tras horas de prueba y error, en la etapa 31 explotó la bombilla. Encontró una fórmula que vale para todos los números impares mayores que 2. Elegante, en unas líneas de código. Y funcionó.

Stappers la probó de 3 a 101. Impecable en cada caso impar.

Por qué importa (y por qué no tanto)

No corras a tirar a los matemáticos por la borda. Knuth dice que faltaba la prueba formal... y él la dio. Claude halló el patrón. El humano explicó por qué vale.

Lo genial es la dupla: exploración sistemática de la IA más intuición humana. No reemplazo. Herramienta brutal para el matemático.

La cara real del asunto

Knuth lo cuenta sin filtros: no fue un paseo. Stappers reinició Claude varias veces por errores. Le tuvo que pedir que anotara todo bien. A veces se trababa o soltaba código roto.

Trabajar con IA en problemas duros es esfuerzo. No varita mágica. Pero cuando pega, sorprende de verdad.

¿Y ahora qué?

Los números pares siguen en pie de guerra. Claude no pudo. Hay terreno que pide chispa humana: creatividad, instinto.

Historias así me llenan de esperanza. La IA no quita expertos. Se vuelve asistente top: explora espacios, pilla patrones, tira ideas frescas.

Como dice Knuth al final: "¡Sombrero quitado ante Claude!". Y ante los humanos que supieron guiarlo e interpretar. Totalmente de acuerdo.