DeepSeek-Math-V2是幻方旗下AI公司DeepSeek开源的数学推理模型，最新版本基于DeepSeek-V3.2-Exp-Base改进，性能超越Gemini DeepThink，达到国际数学奥林匹克（IMO）金牌水平。模型采用多头潜在注意力（MLA）技术大幅降低推理显存消耗，通过递归定理证明管道结合非形式化与形式化推理，解决了Minif2F测试88.9%的问题。其配套开源数据集ProverBench包含325道高中至本科难度数学题，涵盖数论、代数等10个领域。<a class="js"

>>展开阅读