PACE：面向自适应猜想探索的研究证明智能体

研究证明智能体 PACE 面向自适应猜想探索发布，依托结构化研究循环、独立验证器与证据追踪记忆协同推进问题构建与证明推导。配套推出的应用数学基准 ResearchProofBench 包含 51 项已知证明任务与 6 个开放问题案例。评测显示，PACE 在 51 项任务中取得 75.16 的综合 Proof Score 并完成 20 项证明，猜想研究表现优于对比基线。