Opus 5.5 за 15 часов предложил новый алгоритм поиска кратчайших путей эффективнее Дейкстры

Исследователь Vals AI поставил десяти агентам Claude Opus 5.5 задачу: придумать более быстрый алгоритм поиска кратчайших путей и доказать его свойства в Lean. Через 15 часов агенты представили алгоритм C-HD. Он находит точные расстояния от одной вершины до остальных в ориентированном графе с неотрицательными весами.