DeepSeek 新开源了数学定理证明模型DeepSeek-Prover-V1.5，成为该类里的SOTA

地址：github.com/deepseek-ai/DeepSeek-Prover-V1.5

仅 7B 参数规模的 Prover-V1.5，在高中（miniF2F）和大学（ProofNet）数学定理证明测试中分别达到了 63.5% 和 25.3% 的成功率 ​​​