Donald Knuth acaba de admitir que hasta los dioses necesitan un becario

Cuando Donald Knuth, el hombre que escribió la biblia de las ciencias de la computación, abre un artículo con las palabras "¡Sorpresa! ¡Sorpresa!", conviene prestar atención. No estaba anunciando un avance en los fundamentos de la computación, sino su propia sorpresa al comprobar que un chatbot había hecho en una hora lo que a él le había costado semanas sin terminar. El artículo, titulado con acierto "Los ciclos de Claude", documenta la colaboración de Knuth con Claude Opus 4.6, de Anthropic, para resolver una persistente conjetura de descomposición de grafos.

El problema del becario ultrarrápido

Para que quede claro, la IA no salió de la nada digital con una prueba ya terminada en la mano. Fue un proceso desordenado y muy centrado en lo humano. El colega de Knuth, Filip Stappers, pasó una hora gestionando una máquina que se topaba con callejones sin salida, alucinaba estrategias y necesitaba que la llevaran de la mano constantemente. El modelo no "resolvió" la conjetura tanto como forzó por fuerza bruta un patrón de construcción a través de treinta y un intentos iterativos bajo supervisión humana directa.

Piensa en la IA menos como una colega y más como un becario ultrarrápido y falto de sueño. Podía escupir posibles soluciones para casos a pequeña escala con una eficiencia inquietante, pero se venía abajo en cuanto le pedían generalizar para números pares o moverse por una lógica compleja sin guía. La "magia" dependía por completo de la supervisión humana, la corrección de errores y el paso final y crucial: que Knuth verificara las matemáticas y redactara la prueba formal él mismo.

La lección de la utilidad

La conclusión no es que la IA sea consciente, ni siquiera que sea una matemática "mejor" que Knuth. Es que por fin hemos construido una herramienta capaz de hacer el trabajo sucio de exploración que antes requería un estudiante de posgrado o semanas de bocetos en solitario. Cuando Knuth admitió que tendría que "revisar mis opiniones" sobre la IA generativa, no estaba agitando una bandera blanca ante las máquinas; estaba reconociendo que su postura anterior —que estas herramientas simplemente "fingían saber"— no lograba captar su utilidad como motor de lluvia de ideas.

“el poder nace de la sinergia entre el arquitecto y la herramienta.”

En última instancia, esta historia revela una verdad fundamental sobre el ingenio humano: el poder nace de la sinergia entre el arquitecto y la herramienta. La IA nunca va a sustituir a la persona capaz de verificar una prueba, pero sí va a hacer que esas personas sean muchísimo más rápidas a la hora de identificar qué caminos merecen su tiempo. Las máquinas cada vez interpretan mejor el papel de un asistente hiperactivo, pero hasta que no entiendan el "por qué" detrás del "cómo", no son más que calculadoras muy caras y muy rápidas. Y si crees que eso no basta para cambiar el mundo, no has prestado atención a cuánta ciencia no es más que ensayo y error.