AI RESEARCH
RMA: an Agentic System for Research-Level Mathematical Problems
arXiv CS.AI
•
ArXi:2605.22875v1 Announce Type: new We present $\textbf{Research Math Agents (RMA)}$, an agentic framework for automated reasoning on research-level mathematical problems. Unlike prior studies centered on competition mathematics or formal theorem proving, RMA targets research-level mathematical problems that require long-horizon reasoning, literature grounding, and iterative proof refinement.