➗ RMA: агентная система для решения исследовательских математических задач

Исследователи представили фреймворк Research Math Agents (RMA) — агентную систему для автоматического решения математических задач уровня научных исследований. В отличие от предыдущих работ, ориентированных на олимпиадные задачи или формальное доказательство теорем, RMA нацелена на задачи, требующие длительного горизонта рассуждений, работы с литературой и итеративного уточнения доказательств.

Архитектура RMA разделяет процесс решения на специализированные модули: анализ задачи, поиск и понимание литературы, построение базы знаний и верификацию доказательств. Координацию осуществляют три типа агентов — инициализатор, proposer и верификатор — через общую структурированную память. В многоролевом многопоточном режиме агенты совместно генерируют, уточняют и проверяют кандидатные доказательства через итеративную обратную связь.

На бенчмарке First Proof, включающем десять исследовательских задач от экспертов-математиков, RMA решила восемь задач, превзойдя сильные baseline, включая GPT-5.2R и Aletheia. Абляционные исследования подтвердили, что улучшения обусловлены именно взаимодействием модулей, итеративным уточнением и обратной связью от верификатора, а не отдельными компонентами. Код и решения будут опубликованы после принятия статьи.

#AI #Mathematics #Agents #Research #RMA