#DeepSeek-Prover

DeepSeek-Prover-V1.5是基于Lean 4开发的定理证明开源语言模型，结合了证明助手反馈的强化学习技术和改进型蒙特卡洛树搜索算法。在miniF2F和ProofNet等标准测试中分别达到63.5%和25.3%的准确率，验证了其在数学定理证明领域的实用价值。