«¡Shock! ¡Shock!”
Donald Knuth no es precisamente un entusiasta de las modas tecnológicas. A sus 88 años, el profesor emérito de Stanford y ganador del Premio Turing es considerado uno de los padres de la informática moderna. Autor de la monumental obra The Art of Computer Programming, que escribe desde 1962, abandonó el correo electrónico en 1990 y aún ofrece una recompensa de US$2,56 por cada error detectado en sus libros. Por eso, cuando a finales de febrero de 2026 publicó un artículo titulado “Claude’s Cycles” que comenzaba con un enfático “¡Shock! ¡Shock!”, la comunidad científica prestó atención.
El motivo, el modelo híbrido de razonamiento Claude Opus 4.6, desarrollado por Anthropic, había resuelto un problema matemático con el que Knuth llevaba semanas atascado.El problema del cubo tridimensional
La cuestión pertenece al campo de la combinatoria y la teoría de grafos, concretamente a la descomposición de grafos dirigidos en ciclos hamiltonianos.
El reto consiste en imaginar una cuadrícula tridimensional de tamaño m × m × m. Desde cada punto se puede avanzar en tres direcciones posibles. El objetivo era encontrar una regla general que permitiera recorrer todos los puntos exactamente una vez, formando tres ciclos distintos y no superpuestos que, en conjunto, utilizaran todas las aristas posibles.
La escala del problema crece de forma astronómica: 3^(m³). El cálculo por fuerza bruta resulta impracticable.
Knuth había logrado resolver manualmente el caso más pequeño no trivial (3×3×3), mientras que su colega Filip Stappers verificó empíricamente soluciones hasta 16×16×16. Todo indicaba que debía existir una regla matemática general. Nadie conseguía hallarla.
31 pasos de razonamiento estructurado
Stappers decidió introducir los parámetros exactos del problema en Claude Opus 4.6. Pero lo hizo con disciplina extrema: tras cada ejecución de código exploratorio, el modelo debía documentar inmediatamente su progreso antes de continuar.
Durante aproximadamente una hora, Claude desarrolló una investigación en 31 etapas que, según Knuth, recordaba al proceso de ensayo y error de un estudiante de posgrado.
El modelo:
- Probó primero funciones lineales simples (sin éxito).
- Intentó una búsqueda exhaustiva en profundidad y descartó el enfoque por el tamaño del espacio de búsqueda.
- Redujo el problema a dos dimensiones e ideó un patrón “serpentino”.
- Reconoció que la estructura subyacente era un grafo de Cayley.
- Identificó su patrón como una variante del código Gray modular m-ario.
En torno a la etapa 15 llegó al avance conceptual clave: la “descomposición en fibras”. Al dividir el cubo 3D en capas bidimensionales, simplificó radicalmente la estructura del problema.
Tras varios intentos adicionales, el modelo concluyó que debía abandonar el tanteo computacional y apoyarse en construcción matemática pura.
En el paso 31 encontró una solución elegante: un conjunto compacto de reglas, expresables en un breve programa en C, que generaba correctamente los ciclos hamiltonianos buscados.
Un “coautor junior” con límites claros
Stappers probó el programa para todas las dimensiones impares hasta 101. Funcionó sin fallos. Knuth descubrió más tarde que la solución era una de 760 construcciones válidas posibles.
Sin embargo, el logro vino acompañado de matices importantes:
- Claude encontró el cómo, pero no pudo demostrar el por qué.
- Fue Knuth quien redactó la demostración matemática rigurosa que valida la construcción para todos los números impares.
- El modelo fracasó al intentar generalizar el caso de dimensiones pares. Tras algunos intentos aislados exitosos, perdió completamente consistencia operativa.
El episodio ilustra tanto el potencial como las limitaciones actuales de la IA en investigación avanzada.
Hacia una nueva dinámica de investigación
El caso refuerza la idea, expresada recientemente por el matemático Terence Tao, de que la IA generativa puede funcionar como un “coautor junior”: no sustituye al investigador principal, pero puede explorar rápidamente estructuras complejas.
Otros referentes tecnológicos también están integrando IA en procesos avanzados. Por ejemplo, Linus Torvalds ha comentado sobre el uso de herramientas de IA en programación.
Para la industria, que a menudo se apoya en métricas superficiales, el hecho de que un ganador del Premio Turing utilice un modelo de lenguaje para avanzar en un problema matemático abierto constituye un indicador mucho más significativo del progreso real.
El esquema emergente parece claro:
- Los humanos formulan las preguntas
- La IA explora las estructuras ocultas
- Los humanos formalizan las pruebas
Knuth reconsidera su escepticismo
Con su característico humor, Knuth cerró su artículo reconociendo que deberá revisar sus opiniones sobre la IA generativa. Incluso evocó el espíritu de Claude Shannon, figura clave de la teoría de la información, aludiendo al simbolismo del nombre “Claude”.
Y concluyó con una frase que pocos esperaban de uno de los mayores escépticos de la disciplina:
“Me quito el sombrero ante Claude.”
Más que una anécdota técnica, el episodio podría marcar el inicio de una nueva etapa en la colaboración entre matemáticos y máquinas.
Deja una respuesta