研究人员开发了新的方法和数据集，以提高AI解决复杂、研究级数学问题的能力。其中一种方法ResearchMath-14k，从学术来源中整理了超过14,000个问题，揭示了当前语言模型表现出回避行为，如不尝试和捏造参考文献。另一个框架RMA利用专门的代理进行问题分析、文献检索和证明验证，在十个研究级问题的基准测试中表现优于现有模型。 AI
影响 这些数据集和代理系统的进步可能会加速AI在复杂问题解决和科学发现方面的能力。
排序理由 该集群包含两篇研究论文，介绍了用于解决研究级数学问题的新数据集和代理框架。
AI 生成摘要 · Google Gemini · 来自 3 个来源。 我们如何撰写摘要 →
arXiv:2605.28003v1 Announce Type: new Abstract: The frontier of mathematics is defined by problems whose solutions are not yet known, yet it remains unclear whether language models can meaningfully engage with such problems without human intervention. A major obstacle is the lack…
ResearchMath-14k dataset and ResearchMath-Reasoning trajectories are introduced to advance research-level mathematical reasoning in language models, demonstrating that filtered open-problem attempts provide useful supervision for model improvement.
arXiv:2605.22875v1 Announce Type: new Abstract: 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 …