研究证明智能体PACE及基准ResearchProofBench发布

PACE作者团队在arXiv发布论文（2610.33690），推出研究证明智能体PACE。该智能体通过结构化研究循环选择数学目标、构建并质疑候选机制，由独立验证器核查证明，并借助证据追踪记忆在猜想变化时标记需重新验证的前提。 作者同时发布应用数学基准ResearchProofBench，包含51个已知证明任务（331个隐藏检查点，在历史摘要访问条件下）和6个开放问题案例。

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

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