arXiv cs.AI· Shu Miao, Feiming Wang, Wentao Long, Chenyi Li, Kun Yuan, Zaiwen Wen·· 7 天前AI 评分40
PACE：面向自适应猜想探索的研究证明智能体
PACE: Research Proving Agent for Adaptive Conjecture Exploration
AI 导读
研究人员提出 PACE，一种支持自适应猜想探索与证明开发的研究证明 AI 智能体。该系统结合独立验证器与证据追踪记忆动态管理依赖，并配套推出了包含 51 个已知任务与 6 个开放问题的应用数学基准 ResearchProofBench。在 51 个已知证明任务中，PACE 取得 75.16 的综合 Proof Score 并完成 20 项证明，评审得分均高于对比基线。
来源：arXiv cs.AI · arxiv.org