标签：模型 数学 math 谷歌 论文 基准 编程 金牌 分数

（由多段落组成）： 2025年11月27日晚间，中国AI公司DeepSeek在Hugging Face平台悄然发布了一款全新的开源数学大模型——DeepSeek-Math-V2，迅速引发全球人工智能社区的广泛关注。这款模型不仅是业内首个达到国际数学奥林匹克竞赛（IMO）金牌水平并全面开源的AI系统，更标志着中国在高阶推理型人工智能领域迈出了关键一步。 根据同步公开的技术论文《DeepSeek Math-V2：迈向可自验证的数学推理》，该模型在多项数学基准测试中表现卓越。尤其在基础推理任务（Basic Benchmark）上，Math-V2取得了接近99%的惊人准确率，远超谷...