arXiv cs.AI· Shu Miao, Feiming Wang, Wentao Long, Chenyi Li, Kun Yuan, Zaiwen Wen·· 4 小时前AI 评分37
PACE：面向自适应猜想探索的研究证明智能体
PACE: Research Proving Agent for Adaptive Conjecture Exploration
AI 导读
PACE 研究证明智能体通过结构化研究循环选择数学目标、开发或质疑候选机制，由证明器构建证明、独立验证器核验。其配套 ResearchProofBench 包含 51 个已知证明任务（331 个隐藏检查点）和 6 个开放问题，PACE 在 51 个任务上 Proof Score 达 75.16，完成 20 个证明。开放问题中其条件性结论的评审得分高于对比基线。
来源：arXiv cs.AI · arxiv.org