Por Canuto  

Donald Knuth publicó un paper donde cuenta cómo Claude Opus 4.6, una inteligencia artificial avanzada, logró resolver un problema abierto de teoría de grafos que él mismo había planteado recientemente y que no había conseguido resolver por sus propios medios.
***

  • Knuth se mostró sorprendido y muy satisfecho por la capacidad creativa y deductiva de la IA en matemáticas puras.
  • El problema consistía en descomponer los arcos de un grafo dirigido muy estructurado en tres ciclos hamiltonianos perfectos de igual longitud.
  • La solución llegó tras una larga conversación guiada con la IA, que exploró decenas de enfoques hasta encontrar una construcción general válida para ciertos casos importantes.

Donald Knuth, el célebre profesor emérito de Ciencias de la Computación en Stanford y autor de la monumental serie The Art of Computer Programming, compartió recientemente una experiencia poco común en su carrera.

Durante semanas había estado trabajando en un problema específico de teoría de grafos dirigido que surgió como parte de su investigación para un futuro volumen de su obra clásica. A pesar de sus esfuerzos y de avances parciales obtenidos por colaboradores, no lograba encontrar una solución general satisfactoria.

El problema, en términos generales, consistía en demostrar que los arcos de un grafo dirigido muy particular —con vértices organizados en una estructura cúbica de dimensión tres y conexiones definidas de forma modular— podían repartirse en exactamente tres ciclos dirigidos que recorrieran todos los vértices sin repetir ninguno.

Este tipo de descomposición es relevante en el estudio de estructuras combinatorias y tiene conexiones indirectas con problemas de optimización y redes que aparecen en criptografía y blockchain.

Knuth decidió probar algo diferente.

Compartió la descripción precisa del problema con Claude Opus 4.6, una versión avanzada de inteligencia artificial conversacional. Lo que siguió fue una interacción extensa y metódica:

Claude reformuló el problema, probó enfoques heurísticos, implementó búsquedas computacionales, analizó patrones geométricos en tres dimensiones, descartó ideas que no funcionaban y, tras numerosas iteraciones, propuso una construcción que finalmente funcionaba para todos los casos impares que se probaron.

El resultado fue sorprendente incluso para Knuth. La IA no solo encontró una solución concreta, sino que entregó una regla general que permitía construir los tres ciclos requeridos cuando el parámetro principal (denominado m) es impar.

Un colaborador cercano, Filip Stappers, verificó la construcción en valores mucho más grandes y confirmó que no presentaba errores. Knuth mismo simplificó el algoritmo resultante, lo expresó en código claro y verificó paso a paso que cada vértice y cada arco quedaban cubiertos exactamente una vez.

En el paper titulado Claude’s Cycles, Knuth narra con detalle esta colaboración hombre-máquina. Describe cómo la IA mantuvo un “plan de ataque” actualizado, numeró sus exploraciones del 1 al 31, aprendió de cada fallo y combinó ideas de códigos Gray, descomposiciones por fibras y patrones serpentinos hasta llegar a la respuesta. Él mismo destaca la alegría que sintió al ver resuelto el problema y la admiración por el nivel de razonamiento deductivo que mostró la IA.

Este episodio ilustra un cambio importante en la forma en que se hace investigación matemática hoy en día. Las inteligencias artificiales generativas ya no se limitan a resumir o generar texto; pueden participar activamente en la resolución creativa de problemas abiertos, proponer construcciones novedosas y descartar caminos equivocados con rapidez. Para quienes siguen temas de criptomonedas, blockchain y finanzas descentralizadas, este tipo de avances en grafos dirigidos y ciclos hamiltonianos no son ajenos: estructuras similares aparecen en protocolos de consenso, pruebas de conocimiento cero y algoritmos de enrutamiento en redes distribuidas.

Knuth cierra su relato con una reflexión equilibrada. Reconoce el potencial transformador de estas herramientas, pero también invita a la comunidad a seguir explorando el caso pendiente (cuando m es par) y a reflexionar sobre el rol de la IA en el descubrimiento matemático genuino. El paper completo, disponible públicamente, incluye ejemplos concretos para valores pequeños y el código simplificado que genera las secuencias de los ciclos.

La noticia ha generado interés en círculos académicos y tecnológicos porque muestra, una vez más, que las fronteras entre el pensamiento humano y la inteligencia artificial se están difuminando de manera acelerada, incluso en las áreas más abstractas y exigentes de las matemáticas.

Imagen original de DiarioBitcoin, creada con inteligencia artificial, de uso libre, licenciada bajo Dominio Público. Este artículo fue escrito por un redactor de contenido de IA y revisado por un editor humano para garantizar calidad y precisión.


ADVERTENCIA: DiarioBitcoin ofrece contenido informativo y educativo sobre diversos temas, incluyendo criptomonedas, IA, tecnología y regulaciones. No brindamos asesoramiento financiero. Las inversiones en criptoactivos son de alto riesgo y pueden no ser adecuadas para todos. Investigue, consulte a un experto y verifique la legislación aplicable antes de invertir. Podría perder todo su capital.

Suscríbete a nuestro boletín

Artículos Relacionados