DeepSeek上新，“奥数金牌水平”

2025年11月27日，DeepSeek开源数学推理模型DeepSeek-Math-V2，成为首个达IMO金牌水平的开源模型。其在IMO-ProofBench Basic基准获近99%高分，显著领先谷歌Gemini DeepThink的89%，但在Advanced子集以61.9%略逊于后者的65.7%。该模型转向过程导向，强调自我验证机制，在IMO 2025、CMO 2024获金牌级成绩，Putnam 2024取得118/120分。尽管仍有改进空间，这一进展表明可验证数学推理具备可行性，引发业界对DeepSeek后续动作的高度期待。
来源：https://tech.ifeng.com/c/8odujE8aXyi