Авторы arXiv-работы ограничили самоулучшение агентов классом верификации

Препринт arXiv:2610.10611v1 из раздела cs.AI занимается вопросом, который при оценке агентов обычно остаётся за кадром. Агент может стать лучше, потому что дольше искал решение, получил дополнительную поддержку или изменил способ, которым предлагает и проверяет ответы. Итоговый балл на бенчмарке эти три случая не различает. Авторы строят формальную рамку, где различия видны, и доказывают, что классы задач, достижимых при ограниченной верификации со скрытой случайностью, лежат между Σₖᴾ и Σₖ₊₁ᴾ полиномиальной иерархии.

Как устроена модель

Базовая единица в работе называется стадией. Она задаётся четырьмя элементами: допустимыми транскриптами взаимодействия, полиномиальными границами, альтернирующим протоколом верификации и терминальным проверяющим, который выносит итоговый вердикт. У стадии два режима. Native reach использует поддержку по умолчанию. Closure frontier разрешает всю поддержку, которую интерфейс уже допускает.

Чтобы всё это определяло настоящие формальные языки, нужны два условия: равномерный поточечный зазор вероятностей и task-relative soundness, то есть корректность относительно конкретной задачи. При них классы определены строго, и их можно сравнивать между собой.

Что доказано

Главные результаты из аннотации:

• независимое мажоритарное усиление сохраняет оба языка, native reach и closure frontier;
• принятие по принципу «существует случайная лента, при которой проверка прошла» может пропускать неверные ответы;
• точная верификация — частный случай с нулевой случайностью, для неё есть результаты о размещении в иерархии и о полноте;
• классы с рандомизированным верификатором удовлетворяют Σₖᴾ ⊆ Σₖᴿⱽ ⊆ Σₖ₊₁ᴾ;
• строгое расширение и разделение по глубине требуют явных предположений о сложности;
• при BPP = P получаются точные аналоги с теми же границами.

Отдельный раздел посвящён представлениям. Инвариантное принятие ответа отделено от меток «ядро или поддержка», которые могут меняться при рефакторинге системы. Значит, перераспределение функций внутри агента не доказывает, что он стал способнее.

Рекурсивное самоулучшение

Для самомодифицирующихся систем вывод довольно трезвый. Если самомодификация равномерно ограничена, выполняется под общим корректным интерпретатором и использует фиксированный протокол верификации, система остаётся в том же классе верификации. Сама по себе способность переписывать себя границу не сдвигает.

Есть и вторая проблема. Когда агент перебирает кандидатов адаптивно, вероятность ложного выбора растёт. Для неё авторы вводят отдельный бюджет условной ошибки. Семейство задач XOR-синтеза с принудительными квотами показывает, что отношение успеха поиска может расти без ограничений, хотя принимаемые языки не меняются. Точные и вероятностные аудиты проверяют, какие свидетельства для этого нужны.

Что проверять на практике

Работа теоретическая, это первая версия препринта, и в аннотации нет экспериментов на реальных моделях. Прямых рекомендаций там не ждите, но обязательства, к которым авторы привязывают заявления о самоулучшении, переводятся в инженерные вопросы: что считается корректным ответом, какие свидетельства допустимы, сколько ресурсов тратит проверка и какова ошибка выбора среди кандидатов.

Команде, которая заявляет о росте агента, стоит разделять бюджет поиска и изменения верификатора, а при отчёте указывать число просмотренных кандидатов. Если проверка случайна, надёжнее независимое голосование нескольких прогонов, чем принятие по любому удачному. Рост метрики без этих данных остаётся наблюдением, а не доказательством улучшения.