arXiv ID:
2604.26311
arXiv 提交日期: 2026-04-29
DreamProver:通过“觉醒-睡眠”定理证明智能体演化可迁移的引理库 / DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
1️⃣ 一句话总结
该论文提出了一种名为DreamProver的新型AI框架,它通过模拟“觉醒-睡眠”的循环过程,让定理证明智能体在尝试证明定理的同时,自动发现、抽象和优化出一套可复用的引理库,从而显著提升在陌生数学问题上的证明成功率并降低计算成本。