DeepSeek开源了IMO金牌级数学模型：DeepSeek-Math-V2，这

基地科技切片 2025-11-28 20:14:26

DeepSeek开源了IMO金牌级数学模型：DeepSeek-Math-V2，这个模型基于 DeepSeek-V3.2-Exp-Base 开发，它的性能优于 Gemini DeepThink，实现了 IMO 金牌级的水平。这个版本最大的亮点，它不只是生成答案，而是引入了一个专门的“验证器”模型来检查推理步骤，模仿了人类数学家“大胆假设，小心求证”的过程，其中：生成器：负责提出解题思路和步骤。验证器：负责评估每一步的逻辑严密性，甚至能主动发现并纠正错误。冷启动与强化学习：基于DeepSeek-V3.2-Exp-Base底座，利用强化学习针对数学领域进行了深度优化。这种自验证机制为什么重要？是因为它直接解决了数学 AI 长期存在的核心问题：算对答案，并不意味着真正懂得推理。DeepSeek新模型有多猛

0 阅读：0

基地科技切片

感谢大家的关注

作者最新文章

1

Ilya 最近罕见上了一期长访谈，这是他离开 OpenAI、创办 SSI 之后，

2

最近大火的几个大模型参加了 IQ 测试，本次IQ 测试分为两档：门萨版测试和线下

3

为了设计 iOS 26，苹果设计中心专门制作了实体玻璃模具。

4

小米 17 Ultra 曝光了，代号哪吒，后置采用三摄方案，延续了小米 15 U

5

DeepSeek开源了IMO金牌级数学模型：DeepSeek-Math-V2，这

6

彭博消息，iOS 27要走稳重路线，把重点放回稳定性和大量新 AI 功能。苹果团

7

夸克AI眼镜带来的行业利好说真的，AI眼镜这条赛道之前争议挺大——概念火、产品

8

网友票选的华为 mate 系列颜值最高的三款机型，分别是：40，60和70。同

9

改装后的Semi半挂，看起来又凶又萌

10

影翎全景无人机官宣：12 月 4 日空中发布会落地，首款 Antigravity

热门分类

科技TOP

1

发布会还没有开，价格配置就全曝光了，荣耀手机的保密措施急需改进啊！如果爆料价格

2

昨天小鹏科技日最出圈的就是机器人全网都在找它是披着皮的真人的证据确实相比今年4月

3

为啥股价会跌？没看明白。单从步态讲小鹏机器人是全球走得最好最像人的。我平时研究临

4

科技发展真是越来越离谱啦！近日，浙江温州街头，一个人形机器人稳稳牵着机器狗遛弯，

5

【：最强Mate机皇】华为终端官宣将于11月25日举行华为Mate80系列/M

6

蹲完发布会价格环节直接惊到！标准版5499起，Pro版6999起，ProMax

7

华为Mate80系列发布会大家在看了吗，开局歌声太雅了。全系2.5D玻璃+直角中

8

小鹏机器人“猫步”惊艳全场！网友疑是真人，何小鹏四字回应暗藏玄机昨日，第七届小

9

MagicOS10迎来重大更新，升级至116版本，内容很多，有1.2GB新增

10

这次准备买华为Mate80Pro的，务必选择16GB运存版本的，因为这个版本

科技最新文章

1

华为Mate80ProMax拆解出的后盖，全金属一体成型，连同镜头Deco的弧

2

【华为Mate80RS性能较上代提升45%】据华为常务董事、产品投资委员会主任、

3

DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验

4

前置3D人脸解锁，这是华为Mate80标准版的大杀器。4699，国补后419

5

价格相差四千元，外观一模一样，华为和荣耀你怎么选？感觉华为Mate80和荣耀

6

太好了！荣耀Magic8Uitra没用直屏，还是四等深微曲屏！就连老大哥的

7

实锤来了，华为Mate80系列背部的圆环非磁吸部件。是为了在金属机身上支持无线

8

华为Mate80ProMax媒体测试的续航成绩出来了，100%满电状态连续不间

9

OLED显示屏的iPadmini8要来了！2026年第三季度上市！又有新产

10

华为Mate80发布最大赢家不是自己而是这款手机，估计销量又得涨一波了真