arXiv ID:
2512.17260
arXiv 提交日期: 2025-12-19
Seed-Prover 1.5:通过经验学习掌握本科水平定理证明 / Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
1️⃣ 一句话总结
这项研究提出了一个名为Seed-Prover 1.5的定理证明模型,它通过让AI模型在形式化数学环境中不断试错和积累经验来学习,从而高效地解决了从本科到博士级别的数学难题,其性能超越了现有方法。