DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架。模型基于DeepSeek-V3.2-Exp-Base构建，通过LLM验证器自动审查生成的数学证明，并利用高难度样本持续优化性能。在IMO 2025和CMO 2024中均达到金牌水平，Putnam 2024获118/120分。团队表示，该成果验证了自验证推理路径的可行性，为构建可靠数学智能系统提供新方向。
评论列表
猜你喜欢
【4点赞】
【13评论】【2点赞】
【2评论】【26点赞】
【63评论】【43点赞】
作者最新文章
热门分类
社会TOP
社会最新文章
多多
框架还是需要各个领域的顶尖人才支持才能解决各行各业顶尖的问题。所以说人工智能替代人那是不可能的。只不过是说人工智能可以替代各行各业大部分人的工作。但对于前沿的开发技术与应用，应该是永远也替代不了的，所以大家也不必担心自己太快失业。
cynthiashi
自我推理，自我证明，自我验证，机器智能迭代太快了。
狗先生和猫小姐
R2再不出来就要挂了
莫春的春
人工智能方面又一炮，打得很响很帅[点赞]
FUBAR
DeepSeek敢开源，那是自信的表现，中国与漂亮国的AI大战越来越激烈了，相信祖国能笑到最后。
万千神佛
OpenAI敢开源吗
TomatoAddiction
非常高兴看到专业技术领域的大模型亮相，谷歌下围棋，预测蛋白质等专业模型要走入寻常百姓家了