11月27日晚，DeepSeek悄悄地在Hugging Face 上开源了一个新模型：DeepSeek-Math-V2。这是一个数学方面的模型，也是目前行业首个达到IMO（国际奥林匹克数学竞赛）金牌水平且开源的模型。 在同步发布的技术论文中，DeepSeek表示，Math-V2的部分性能优于Google旗下的Gemini DeepThink，并展示了模型在IMO-ProofBench基准以及近期数学竞赛上的表现。 具体来看，在其中的Basic基准上，DeepSeek-Math-V2 远胜其他模型，达到了…