Zehn KI-Agenten finden einen schnelleren Shortest-Path-Algorithmus
A Faster Shortest Path Algorithm
Zehn Claude-Opus-5.5-Agenten haben in 15 Stunden und 733 Nachrichten einen neuen Algorithmus namens C-HD entwickelt, der exakte Kürzeste-Wege-Distanzen in gerichteten Graphen mit nicht-negativen reellen Gewichten berechnet. Der Algorithmus erreicht eine bessere asymptotische obere Schranke als Dijkstra und aktuelle SOTA-Verfahren in einem bestimmten Dichtebereich. Die Korrektheit und Laufzeit wurden mit dem Lean-Beweiser formal verifiziert. Die Konstanten sind jedoch enorm, ein praktischer Geschwindigkeitsvorteil ist nicht nachgewiesen.
Zehn Claude Opus 5.5-Agenten mit maximalem Aufwand und einem einfachen Message Board auszustatten, hat in etwa 15 Stunden und 733 Nachrichten zu einem neuen Algorithmus für exakte Kürzeste-Wege-Distanzen in gerichteten Graphen geführt.