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

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

Заголовки и краткие цитаты приведены со ссылкой на источник в порядке информирования. Полные тексты доступны на сайтах изданий, права на них принадлежат правообладателям.