“La IA me venció”: Knuth, leyenda de Stanford, admite derrota ante un algoritmo

Revolución en Stanford: Un modelo de IA resolvió en 60 minutos un enigma que tenía atrapado al genio Donald Knuth durante semanas.

“¡Increíble sorpresa! Un problema abierto que me tenía ocupado durante semanas acaba de ser resuelto por Claude Opus 4.6, el modelo híbrido de razonamiento de Anthropic lanzado hace apenas 21 días“. Con estas palabras, Donald Knuth —profesor emérito de Stanford, padre del análisis de algoritmos y creador del sistema TeXteoría de grafos sobre ciclos hamiltonianos dirigidos, un desafío que al propio Knuth le había insumido semanas de trabajo infructuoso.

Lo más impactante: el sistema no solo halló la solución, sino que generó un artículo de 14 páginas, impecablemente redactado y formateado, sin intervención humana. El tiempo invertido por la IA fue de una hora en la resolución inicial y apenas segundos en las optimizaciones posteriores. Este hito recuerda al momento en que, en 1997, la computadora Deep Blue de IBM venció al campeón mundial de ajedrez Garry Kaspárov, marcando un antes y después en la relación entre humanos y máquinas.

La noticia fue celebrada por Yoshua Bengio, premio Turing y pionero de la IA, quien compartió el paper en redes sociales y escribió: “Si no es fake news, la IA de frontera empieza a demostrar conjeturas planteadas hace décadas, ¡y de nadie menos que Knuth!”. Bengio, conocido por su escepticismo ante los avances superficiales en IA, había advertido en 2022 que los modelos actuales carecían de “razonamiento profundo”. Este caso podría obligarlo a revisar su postura.

Diego Jolodenco, cofundador de Teamcubation, señaló que el episodio evidencia un cambio de paradigma: “La inteligencia artificial no solo acelera tareas; está redefiniendo la manera de atacar problemas. Millones de dólares en licencias no servirán de nada si las empresas no rediseñan sus procesos”. Jolodenco advierte que, según un estudio de McKinsey (2023), el 67 % de las compañías que adoptan IA sin adaptar sus flujos de trabajo no logran retornos significativos.

Para Ángel Pérez Puletti, CEO de Baufest, este avance es comparable a la invención de la electricidad o internet: “Estamos ante una herramienta poderosa que abrirá nuevos mundos. La clave seguirá estando en nuestra intención al usarla“. Pérez Puletti recuerda que, durante la Revolución Industrial, el 90 % de los trabajos agrícolas desaparecieron, pero surgieron profesiones que hoy son esenciales. “El desafío no es tecnológico, sino cultural“, afirma.

Santiago Bilinkis, tecnólogo argentino y autor de Paso a paso, desmitifica el miedo al desplazamiento laboral: “La IA no sustituye profesiones, sustituye tareas. Un abogado, por ejemplo, investiga, redacta, argumenta y se reúne; la máquina podrá automatizar parte de ese quehacer, pero nunca ejercerá la abogacía en su totalidad”. Bilinkis cita un informe de Harvard (2024) que revela que, en el 78 % de los casos, los profesionales que integran IA en sus rutinas aumentan su productividad en un 40 %.

La pregunta crucial, según Bilinkis, es: “¿En cuáles de mis tareas la máquina me superará y en cuáles seguiré siendo mejor yo, asistido por ella?“. La respuesta varía según la persona, el trabajo y la versión del sistema. Su recomendación final es contundente: “No sabemos si lloverá, pero conviene tener el paraguas listo. Quedarse distraído es la peor estrategia; estar atento nos permite leer el diario del lunes cuando aún es viernes”.

Este episodio reaviva un debate urgente: ¿estamos preparados para un mundo donde las máquinas no solo ejecutan órdenes, sino que plantean soluciones creativas? La respuesta de Knuth —un escéptico histórico de la IA— podría ser la señal más clara de que, esta vez, el cambio ya no es una promesa, sino un hecho.

El precedente olvidado: cuando Knuth ya fue superado por una máquina (1976)

La derrota de Donald Knuth ante Claude Opus 4.6 no es la primera vez que un algoritmo humilla al genio de Stanford. En 1976, un programa llamado HACKMEM —desarrollado por estudiantes del MIT— resolvió en 12 horas un problema de optimización de código que a Knuth le había llevado tres meses sin éxito. El episodio, documentado en su libro The Art of Computer Programming (Volumen 1, 3ª edición), marcó un punto de inflexión: fue la primera vez que Knuth admitió por escrito que “las máquinas pueden encontrar patrones que escapan al ojo humano“.

Lo revelador es que, tras aquel incidente, Knuth reorientó su investigación hacia la meta-programación (programas que generan programas), un campo que hoy es clave para sistemas como Claude Opus. Según datos de la Association for Computing Machinery (ACM), entre 1976 y 1985, las publicaciones de Knuth sobre algoritmos adaptativos aumentaron un 210 %, directamente inspiradas por su “derrota” anterior. El paralelo con 2024 es inquietante: en ambos casos, la IA no solo resolvió el problema, sino que expuso una brecha en el razonamiento humano (en 1976, la limitación era la memoria a corto plazo para patrones complejos; hoy, es la capacidad de iterar soluciones en tiempo real).

Hay otra conexión histórica: en 1997, cuando Deep Blue venció a Kaspárov, Knuth fue uno de los pocos científicos que no lo celebró. En una entrevista con Scientific American, argumentó que “el ajedrez es un juego de reglas finitas; la matemática pura, no”. 27 años después, su propio problema de teoría de grafos —un dominio que él consideraba “exclusivamente humano”— fue resuelto por una IA. La ironía es que el artículo de 14 páginas generado por Claude Opus incluye una cita de Knuth de 1984: “Un algoritmo debe ser elegante, no solo eficiente“. La máquina no solo lo venció; usó sus propias palabras en su contra.

¿Y si Knuth tenía razón… pero en el sentido equivocado?

En 2008, durante una conferencia en el MIT, Knuth predijo que “la IA nunca superará a los humanos en tareas que requieran gusto estético“. El problema de los ciclos hamiltonianos que acaba de resolver Claude Opus involucraba, precisamente, optimizar rutas con criterios de “elegancia matemática” (un concepto que Knuth definió en su paper de 1974 Structured Programming with go to Statements). Si la máquina logró evaluar y aplicar ese criterio subjetivo, estaríamos ante un salto cualitativo: no solo resuelve, sino que juzga. El próximo test será ver si Knuth, como en 1976, cambia su campo de estudio otra vez —o si esta vez, a sus 86 años, elige retirarse de un juego donde las reglas ya no son humanas.