
DeepSeek于11月27日在Hugging Face开源了专注数学领域的DeepSeek-Math-V2模型,成为首个达到IMO金牌水平的开源数学AI。该模型在Basic测试中得分近99%,优于谷歌Gemini DeepThink,但在更难的Advanced测试中略逊一筹。Math-V2强调过程导向和自我验证,突破了传统答案导向的推理局限,实现了高难度数学证明题的无人工干预提升。论文显示其在IMO 2025、CMO 2024均获金牌,Putnam 2024接近满分。业界反响热烈,期待DeepSeek未来更新及更强大的数学AI系统问世。







