热点事件观察中
研究团队发布数学研究证明智能体PACE及配套基准
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
2026年10月27日，面向自适应猜想探索的研究证明智能体PACE正式发布。该智能体依托结构化研究循环、独立验证器与证据追踪记忆，协同推进数学问题构建与证明推导。研究团队同时推出了配套的应用数学基准ResearchProofBench，其中包含51项已知证明任务与6个开放问题案例。评测结果显示，PACE在51项已知任务中取得了75.16的综合Proof Score，并成功完成了20项证明，其在猜想研究表现上优于对比基线。
AI 根据报道生成 · 3 小时前更新
最新进展10月27日 12:00
研究证明智能体PACE发布，在配套基准的51项已知任务中完成20项证明。报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- arXiv 人工智能PACE：面向自适应猜想探索的研究证明智能体
研究证明智能体 PACE 面向自适应猜想探索发布，依托结构化研究循环、独立验证器与证据追踪记忆协同推进问题构建与证明推导。配套推出的应用数学基准 ResearchProofBench 包含 51 项已知证明任务与 6 个开放问题案例。评测显示，PACE 在 51 项任务中取得 75.16 的综合 Proof Score 并完成 20 项证明，猜想研究表现优于对比基线。
本事件热度走势
当前热度 5·可比范围峰值 5（10月28日 11:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。