ReuF2F: Бенчмаркинг агентов программирования на формализованных исследовательских задачах бакалавриата
arXiv:2610.27046v1 Тип объявления: new Аннотация: Поскольку системы ИИ начинают решать открытые исследовательские проблемы, надежная верификация становится всё более важной. Формальная математика предоставляет надежную структуру для математического рассуждения, позволяя агентам создавать машино-проверяемые…