传统AI解决数学问题需要大量标注数据,但RMA(Research Math Agents)彻底颠覆了这一范式。这个全新的自主推理系统能够直接处理研究级别的数学难题,无需任何预训练数据。其核心突破在于构建了一个多智能体协作框架——每个智能体负责不同的数学思维模式,通过动态对话和交叉验证来逼近正确答案。在多个顶级数学期刊的难题测试中,RMA的表现已经接近人类博士研究生的水平。更重要的是,它的推理过程完全可解释,能清晰展示每一步的推导逻辑。这意味着AI不再只是计算工具,而是真正开始参与数学研究的前沿探索。
RMA: an Agentic System for Research-Level Mathematical Problems
We present $\textbf{Research Math Agents (RMA)}$, an agentic framework for automated reasoning on research-level mathematical problems. Unlike prior s