热点事件持续更新
PACE：面向猜想探索的研究证明智能体
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
2026 年 10 月 27 日，arXiv cs.AI 刊出论文，提出研究证明智能体 PACE。该智能体以结构化研究循环运行：先选择数学目标，再开发或质疑候选机制；随后由证明器构建证明，并由独立验证器核验。论文同时发布配套基准 ResearchProofBench，含 51 个已知证明任务（331 个隐藏检查点）与 6 个开放问题。结果显示，PACE 在 51 个任务上 Proof Score 达 75.16，完成 20 个证明；在开放问题上，其条件性结论的评审得分高于对比基线。目前尚无其他来源报道或复现结果，事件仍在论文发布阶段。
AI 根据报道生成 · 3 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- arXiv cs.AIPACE：面向自适应猜想探索的研究证明智能体
PACE 研究证明智能体通过结构化研究循环选择数学目标、开发或质疑候选机制，由证明器构建证明、独立验证器核验。其配套 ResearchProofBench 包含 51 个已知证明任务（331 个隐藏检查点）和 6 个开放问题，PACE 在 51 个任务上 Proof Score 达 75.16，完成 20 个证明。开放问题中其条件性结论的评审得分高于对比基线。
本事件热度走势
当前热度 9·可比范围峰值 10（10月27日 13:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。