DeepSeek再次归来! 就在昨天晚上，DeepSeek悄悄地上了一个新模型：DeepSeekMath-V2。 根据同步发布的技术论文《DeepSeek Math-V2：迈向可自验证的数学推理》，该模型在IMO-ProofBench基准及近期数学竞赛中表现优异，部分性能优于 谷歌Gemini DeepThink系列。 这是一个数学方面的模型，也是目前行业首个达到IMO(国际奥林匹克数学竞赛)金牌水平且开源的模型。 奥数金牌+开源双爆 实验结果显示，该模型在IMO 2025：破解5题(共6题)，达到了金牌水平;CMO 2024(中国数学奥林匹克)：达到金牌水平;Putnam 2024：得分118接近满分 (120分)，超越人类参赛者最高分(90分)。 | Contest Problems | | Points | | --- | --- | --- | | IMO 2025 | P1, P2, P3, P4, P5 83.3% | | | CMO 2024 P1 , P2 , P4 , P5 , P6 | | 73.8% | | Putnam 2024 A1 ~ B4 , B5, B6 | | 98.3% | ...