Исследователь в области верификации программного обеспечения выдвинул тезис, который может переосмыслить подход индустрии к многоагентным системам разработки на базе больших языковых моделей (LLM): проблема координации агентов носит фундаментальный характер и не решается за счёт роста возможностей отдельных моделей.
Автор формально моделирует многоагентную разработку ПО как задачу распределённого консенсуса. В такой системе несколько агентов параллельно генерируют компоненты кода, которые в совокупности должны удовлетворять размытому техническому заданию на естественном языке. Именно эта размытость и параллельность порождают принципиальные сложности.
Ключевой аргумент статьи направлен против распространённого в индустрии оптимизма: многие разработчики и исследователи полагают, что проблемы координации между агентами автоматически исчезнут с появлением следующего поколения более умных моделей. Автор оспаривает этот взгляд, апеллируя к классическим результатам теории распределённых систем.
В частности, он проводит параллель с теоремой FLP — фундаментальным результатом информатики, доказанным Фишером (Fischer), Линчем (Lynch) и Патерсоном (Paterson). Теорема утверждает, что в асинхронной распределённой системе невозможно гарантировать консенсус при наличии хотя бы одного отказа. По мнению автора, эти ограничения применимы к многоагентным AI-системам вне зависимости от интеллектуальных способностей отдельного агента.
Практический вывод исследования весом: индустрия не может откладывать разработку специализированного инструментария и формальных языков для координации агентов в расчёте на то, что будущие модели сами разберутся с этой задачей. Фундаментальные теоремы о невозможности не имеют срока давности — они не станут менее актуальными, когда GPT-N или Claude-следующего-поколения выйдут на рынок.
Работа привлекает внимание в контексте стремительного роста числа многоагентных фреймворков и систем автономного кодирования — от крупных технологических компаний до стартапов. Если аргументация верна, архитектурные решения, принятые сегодня, будут определять надёжность этих систем значительно дольше, чем принято считать.
Источник: https://kirancodes.me/posts/log-distributed-llms.html