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

研究团队提出研究证明智能体 PACE，用于在数学猜想探索中自动选择目标、构建或质疑候选机制，并由独立验证器对照原始目标检查证明。团队称，PACE 通过结构化研究循环推进这一过程，并用证据追踪记忆在候选或条件变化时标记待复核证据。 作者同时发布了基准 ResearchProofBench，用于评估这类研究证明任务。报道未给出 PACE 在该基准上的具体成绩，也未说明其证明结果是否经过外部数学界验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。