ИИ-агенты нашли алгоритм быстрее Дейкстры за 15 часов

Десять агентов Opus 5.5 за 15 часов разработали алгоритм C-HD для поиска кратчайшего пути на разреженных графах, впервые превзойдя классический алгоритм Дейкстры в этом диапазоне. Команда из Цинхуа, Стэнфорда и Института Макса Планка совместно с Vals AI получила улучшение на 1,78х при n = 2^1000 с оценкой O(n·log^{11/12}n) против O(n log n).

Решение формально верифицировано на языке Lean через 733 сообщения между агентами. Практическое применение алгоритма остаётся неясным.