DeepSeek开源数学大模型，高中、大学定理证明新SOTA

著名数学家陶哲轩表示 AI 将助力数学领域，实现更快更准确的形式化证明编写，减少人为错误。近期 DeepSeek 发布的 DeepSeek-Prover-V1.5 模型，结合了强化学习和蒙特卡洛树搜索技术，显著提升了证明生成的效率和准确性。该模型拥有 70 亿参数，通过截断和重新开始机制整合了证明步骤生成和完整证明生成的优势。在高中水平的 miniF2F 和大学本科水平的 ProofNet 数据集上，DeepSeek-Prover-V1.5 表现优异，超越了先前的所有模型。
来源：https://mp.weixin.qq.com/s/q-CZWNrcka6ttLuDW_1itg