研究人员开发了RMA，一个旨在解决复杂、研究级数学问题的代理系统。该框架将证明求解过程分解为专门的模块，用于分析、文献回顾和验证，并由多个代理协调。RMA在First Proof基准测试中表现出色，解决了十个问题中的八个，并生成了比现有系统（如GPT-5.2R和Aletheia）更强大的证明。 AI
影响 该系统可以加速AI在新的数学发现和形式验证方面的贡献能力。
排序理由 该集群描述了一篇关于用于解决数学问题的代理系统的新研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →