Конец эры «просто напиши, что хочешь»?
Недавние прорывы в области больших языковых моделей (LLM) породили популярный нарратив: естественный язык (Natural Language, NL) способен полностью вытеснить формальные языки программирования. Авторы новой работы, опубликованной на arXiv и готовящейся к публикации в ICML 2026 (позиционный трек), — Эйтан Вагнер, Элиша Розенсвейг и Оми Абед — категорически не согласны с этой точкой зрения. Они утверждают, что такой подход игнорирует фундаментальные лингвистические свойства естественного языка, который оптимизирован для неопределенности (underspecification) в открытых контекстах.
Теорема о пересечении специфичности
Вместо интуитивных рассуждений исследователи предложили формальную рамку, основанную на понятии специфичности задачи (task specificity). Это определяется как информационно-теоретическое снижение неопределенности в пространстве возможных результатов (например, всех возможных изображений или строк кода) при заданных требованиях пользователя.
Ключевым вкладом статьи является доказательство теоремы о пересечении специфичности (specificity crossover theorem). Она гласит: существует четкий пороговый уровень специфичности, за которым стоимость выражения формальных требований на естественном языке превышает стоимость прямого формального специфицирования. Проще говоря, чем точнее и строже требования, тем дороже обходится попытка описать их словами, а не кодом.
Эмпирические данные: где NL слаб, а где силен
Авторы проанализировали кейсы в различных модальностях, чтобы продемонстрировать комплементарность языков. Естественный язык превосходит формальные аналоги в задачах с низкой специфичностью (креативность, черновое описание), тогда как формальные языки выигрывают при строгих требованиях (точность, верифицируемость).
| Модальность | Задача с низкой специфичностью (NL эффективен) | Задача с высокой специфичностью (Формальный язык эффективен) |
|---|---|---|
| Генерация изображений | Описание атмосферы, стиля, абстрактных концепций | Точное позиционирование объектов, соблюдение технических параметров рендеринга |
| Синтез кода | Быстрое прототипирование, генерация boilerplate-кода | Системное проектирование, критически важные алгоритмы, верификация типов |
| Аудио-продакшн | Описание настроения, жанра, эмоциональной окраски | Точная настройка частот, параметров эффектов, синхронизация по таймкоду |
Вывод: путь к гибридным системам
Исследование делает однозначный вывод: естественные и формальные языки являются взаимодополняющими инструментами, а не конкурентами. Полная замена формальных языков NL невозможна из-за информационной стоимости перевода строгих требований в «размытый» естественный язык. Авторы призывают индустрию к разработке гибридных систем, которые позволяют пользователю свободно перемещаться по спектру специфичности, выбирая оптимальный язык для каждого этапа задачи.
Источник: arXiv cs.CL ↗