Самоусовершенствующийся агент расширяет DSL методом индукции операторов без оракула для точных ответов
В статье (arXiv:2610.20809v1) описан метод, в котором единая «замороженная» модель запускает два вложенных цикла над небольшой DSL: внутренний цикл отвечает на вопросы только если два независимо записанных выражения совпадают по каждой записи, а внешний цикл изобретает и принимает новые операторы только при согласии независимой реализации и проверке закона сохранения — без вознаграждений, судей или эталонных ответов. Экспериментально внутренний цикл примерно утроил число отвечаемых вопросов, внешний создал операторы вне начального замыкания, отверг 138 из 138 ошибочных вариантов операторов по независимому эталону и успешно перенёсся на домены бухгалтерских транзакций и клинических встреч (рост отвечаемых вопросов >10× и ≈20×) и на разные семейства моделей.