#自动定理证明

共 4 篇相关资讯，按重要度与时间排序，每 3 小时更新。

★ 4

Science 刊文：AI 驱动形式化证明推进数学研究

《Science》发表研究，探讨利用 AI 驱动的形式化证明搜索来推进数学研究。该方法结合自动定理证明与形式化验证，有望加速数学发现并提高证明可靠性。

Hacker News – AI22 天前

★ 3

ProofEvolve结合神经模型和符号Lean内核，通过进化机制扩展证明知识边界。它利用行为索引档案和模式库，保留部分证明成果，在多个Lean基准上取得最高平均求解率，展示了递归自改进的潜力。

arXiv cs.AI66 天前

★ 2

开发者发布开源项目ProofForge，其AI代理生成的数学证明必须在Lean证明助手中成功编译才算有效。该设计用形式化验证约束代理输出，提升自动推理结果的可靠性。

Hacker News – AI36 天前

★ 2

论文将计算对齐训练（CAT）扩展到策略引导的树搜索场景，推导出可处理的、有轨迹支撑的损失函数，并提出搜索无关的均匀分配（UA）损失。两种方法都在每条策略的交叉熵梯度上施加标量权重。在 Lean 基准的六种搜索策略上，二者证明成功率均高于交叉熵，且预算扫描显示 CAT 能随测试时算力扩展。

arXiv cs.AI40 天前