ИССЛЕДОВАНИЕ · RESEARCH · #2097
Самоусовершенствующийся агент расширяет DSL методом индукции операторов без оракула для точных ответов
В статье (arXiv:2610.20809v1) описан метод, в котором единая «замороженная» модель запускает два вложенных цикла над небольшой DSL: внутренний цикл отвечает на вопросы только если два независимо записанных выражения совпадают по каждой записи, а внешний цикл изобретает и принимает новые операторы только при согласии независимой реализации и проверке закона сохранения — без вознаграждений, судей или эталонных ответов. Экспериментально внутренний цикл примерно утроил число отвечаемых вопросов, внешний создал операторы вне начального замыкания, отверг 138 из 138 ошибочных вариантов операторов по независимому эталону и успешно перенёсся на домены бухгалтерских транзакций и клинических встреч (рост отвечаемых вопросов >10× и ≈20×) и на разные семейства моделей.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- В статье (arXiv:2610.20809v1) описан метод, в котором единая «замороженная» модель запускает два вложенных цикла над небольшой DSL: внутренний цикл отвечает на вопросы только если два независимо записанных выражения совпадают по каждой записи, а внешний цикл изобретает и принимает новые операторы только при согласии независимой реализации и проверке закона сохранения — без вознаграждений, судей или эталонных ответов.
- Экспериментально внутренний цикл примерно утроил число отвечаемых вопросов, внешний создал операторы вне начального замыкания, отверг 138 из 138 ошибочных вариантов операторов по независимому эталону и успешно перенёсся на домены бухгалтерских транзакций и клинических встреч (рост отвечаемых вопросов >10× и ≈20×) и на разные семейства моделей.
- Это важно, потому что демонстрируется способ безопасного и верифицируемого расширения вычислительных возможностей агента для задач, чувствительных к точности, без внешних оракулов или меток — полезно для надёжного синтеза программ и автоматизированного рассуждения в ограниченных доменах.
ПОЧЕМУ ЭТО ВАЖНО
Это важно, потому что демонстрируется способ безопасного и верифицируемого расширения вычислительных возможностей агента для задач, чувствительных к точности, без внешних оракулов или меток — полезно для надёжного синтеза программ и автоматизированного рассуждения в ограниченных доменах.