DeepSeek-Math-V2模型在多项国际数学竞赛中取得金牌级成绩
包括IMO 2025、CMO 2024和普特南竞赛2024,其表现远超人类选手和部分竞品模型。
主要竞赛成绩:
IMO 2025:在模拟赛中解出5道题(共6题),达到金牌水平 。
CMO 2024:获得金牌级评价 。
普特南竞赛2024:取得118/120分,远超人类最高分90分 。
与其他模型对比:
代数领域:远超GPT-5-Thinking-High和Gemini 2.5-Pro 。
几何领域:得分几乎是Gemini 2.5-Pro的三倍 。
基准测试:在IMO-ProofBench的Basic子集上接近99%满分,Advanced子集得分为61.9%(略低于Gemini Deep Think的65.7%) 。
特点:
开源性:模型参数高达6850亿,代码和权重完全公开 。
自我验证能力:通过迭代验证,证明质量分数从0.15提升至0.27 。
Posted Dec 3, 2025, 1:27 AM UTC
013