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