Donald Knuth uno de los científicos más relevantes en ciencias de la computación, autor de la obra maestra "The Art of Computer Programming" ha dado a conocer su impresión acerca del desempeño de la Inteligencia Artificial (IA) "Claude" de Anthropic para resolver un problema de ciclos hamiltonianos en grillas 3D.
El problema en cuestión consiste en encontrar caminos que visitan cada nodo de un grafo exactamente una vez y regresan al inicio en una grilla tridimensional de dimensiones impares. Donald ha resuelto el caso (3 X 3 x 3) y se sabe que existen soluciones para otros tamaños específicos. Sin embargo, se seguía indagando sobre una construcción general para cualquier tamaño de grilla impar.
El matemático Filip Stappers planteó y guío el problema a la IA Claude pidiéndole documentación de procedimientos y encaminándola cuando veía errores en su accionar.
Durante el proceso de razonamiento la IA probó fórmulas lineales, estrategias de búsqueda de fuerza bruta y experimentó con construcciones geométricas. Finalmente, Claude generó una "construcción" que funciona para todas las dimensiones impares. Se verificó dicha "construcción" para grillas impares hasta el tamaño
101 x 101 x 101.
Knuth, inicialmente escéptico de las capacidades de la IA para resolver problemas, valora el resultado obtenido al reconocer que Claude, al encontrar "la construcción" se valida como "colaborador en el trabajo investigativo" sugiriendo ideas y estructuras que los investigadores pueden testar.
Cabe destacar que la demostración formal de que "la construcción" sugerida por Claude sirve para todos los casos en grillas impares estuvo a cargo de Donald Knuth.
De este modo, tenemos un ejemplo de cómo la Inteligencia artificial puede asistir a los seres humanos al explorar rápidamente construcciones alternativas y descartar rutas erróneas en la solución de problemas de cierta complejidad. Después del Hallazgo, otros investigadores han verificado la prueba formal de Knuth y han propuesto versiones simplificadas de la prueba.
Link de los resultados: https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf
“I think Claude Shannon’s spirit is probably proud to know that his name is now being associated with such advances. Hats off to Claude!”