Diez agentes de IA demuestran en Lean un algoritmo de caminos más rápidos que Dijkstra
A Faster Shortest Path Algorithm
Un equipo de diez agentes Claude Opus 5.5, coordinados mediante un tablón de mensajes, desarrolló C-HD, un algoritmo para caminos más cortos exactos en grafos dirigidos con pesos no negativos. Tras 15 horas y 733 mensajes, lograron una mejora asintótica sobre Dijkstra en el régimen de densidad m ≈ n (log n)^{3/4}, con una cota de O(n (log n)^{11/12}) verificada formalmente en Lean. El resultado es teórico: las constantes de la construcción formal son enormes y no implica una aceleración práctica.
Si el incidente de OpenAI con Hugging Face y su resultado sobre Navier–Stokes me han enseñado algo, es que los agentes pueden comprimir drásticamente el tiempo necesario para avanzar en un problema.