DeepSeek“五一礼包”来了！新开源模型数学推理能力大提升｜附实测细节

APPSO2025-05-01

赶在五一假期前夕，DeepSeek给我们送出一份惊喜大礼。延续一贯的开源节奏，DeepSeek在Hugging Face正式发布DeepSeek-Prover-V2，并同步上线模型卡及示例代码。此次共推出两个版本：DeepSeek-Prover-V2-7B：基于上一代V1.5模型，支持最长32K上下文输入；DeepSeek-Prover-V2-671B：在DeepSeek-V3-Base基础上训练...

网页链接

免责声明：本文观点仅代表作者个人观点，不构成本平台的投资建议，本平台不对文章信息准确性、完整性和及时性做出任何保证，亦不对因使用或信赖文章信息引发的任何损失承担责任。

精彩评论

我们需要你的真知灼见来填补这片空白

发表看法

{"i18n":{"language":"zh_CN"},"isChannel":false,"data":{"share":"https://www.laohu8.com/m/news/2532001790?lang=zh_CN&edition=full","thumbnail":"","is_english":false,"pubTime":"2025-05-01 09:28","share_image_url":"https://static.laohu8.com/e9f99090a1c2ed51c021029395664489","id":"2532001790","market":"us","top_or_hot":-1,"title":"DeepSeek“五一礼包”来了！新开源模型数学推理能力大提升｜附实测细节","media":"APPSO","content":"<div>\n<p>赶在五一假期前夕，DeepSeek给我们送出一份惊喜大礼。延续一贯的开源节奏，DeepSeek在Hugging Face正式发布DeepSeek-Prover-V2，并同步上线模型卡及示例代码。此次共推出两个版本：DeepSeek-Prover-V2-7B：基于上一代V1.5模型，支持最长32K上下文输入；DeepSeek-Prover-V2-671B：在DeepSeek-V3-Base基础上训练...</p>\n\n<a href=\"https://tech.ifeng.com/c/8izd3NbnvBm\">网页链接</a>\n\n</div>\n","source":"fenghuang_stock","html":"<!DOCTYPE html>\n<html>\n<head>\n<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\" />\n<meta name=\"viewport\" content=\"width=device-width,initial-scale=1.0,minimum-scale=1.0,maximum-scale=1.0,user-scalable=no\"/>\n<meta name=\"format-detection\" content=\"telephone=no,email=no,address=no\" />\n<title>DeepSeek“五一礼包”来了！新开源模型数学推理能力大提升｜附实测细节</title>\n<style type=\"text/css\">\na,abbr,acronym,address,applet,article,aside,audio,b,big,blockquote,body,canvas,caption,center,cite,code,dd,del,details,dfn,div,dl,dt,\nem,embed,fieldset,figcaption,figure,footer,form,h1,h2,h3,h4,h5,h6,header,hgroup,html,i,iframe,img,ins,kbd,label,legend,li,mark,menu,nav,\nobject,ol,output,p,pre,q,ruby,s,samp,section,small,span,strike,strong,sub,summary,sup,table,tbody,td,tfoot,th,thead,time,tr,tt,u,ul,var,video{ font:inherit;margin:0;padding:0;vertical-align:baseline;border:0 }\nbody{ font-size:16px; line-height:1.5; color:#999; background:transparent; }\n.wrapper{ overflow:hidden;word-break:break-all;padding:10px; }\nh1,h2{ font-weight:normal; line-height:1.35; margin-bottom:.6em; }\nh3,h4,h5,h6{ line-height:1.35; margin-bottom:1em; }\nh1{ font-size:24px; }\nh2{ font-size:20px; }\nh3{ font-size:18px; }\nh4{ font-size:16px; }\nh5{ font-size:14px; }\nh6{ font-size:12px; }\np,ul,ol,blockquote,dl,table{ margin:1.2em 0; }\nul,ol{ margin-left:2em; }\nul{ list-style:disc; }\nol{ list-style:decimal; }\nli,li p{ margin:10px 0;}\nimg{ max-width:100%;display:block;margin:0 auto 1em; }\nblockquote{ color:#B5B2B1; border-left:3px solid #aaa; padding:1em; }\nstrong,b{font-weight:bold;}\nem,i{font-style:italic;}\ntable{ width:100%;border-collapse:collapse;border-spacing:1px;margin:1em 0;font-size:.9em; }\nth,td{ padding:5px;text-align:left;border:1px solid #aaa; }\nth{ font-weight:bold;background:#5d5d5d; }\n.symbol-link{font-weight:bold;}\n/* header{ border-bottom:1px solid #494756; } */\n.title{ margin:0 0 8px;line-height:1.3;color:#ddd; }\n.meta {color:#5e5c6d;font-size:13px;margin:0 0 .5em; }\na{text-decoration:none; color:#2a4b87;}\n.meta .head { display: inline-block; overflow: hidden}\n.head .h-thumb { width: 30px; height: 30px; margin: 0; padding: 0; border-radius: 50%; float: left;}\n.head .h-content { margin: 0; padding: 0 0 0 9px; float: left;}\n.head .h-name {font-size: 13px; color: #eee; margin: 0;}\n.head .h-time {font-size: 11px; color: #7E829C; margin: 0;line-height: 11px;}\n.small {font-size: 12.5px; display: inline-block; transform: scale(0.9); -webkit-transform: scale(0.9); transform-origin: left; -webkit-transform-origin: left;}\n.smaller {font-size: 12.5px; display: inline-block; transform: scale(0.8); -webkit-transform: scale(0.8); transform-origin: left; -webkit-transform-origin: left;}\n.bt-text {font-size: 12px;margin: 1.5em 0 0 0}\n.bt-text p {margin: 0}\n</style>\n</head>\n<body>\n<div class=\"wrapper\">\n<header>\n<h2 class=\"title\">\nDeepSeek“五一礼包”来了！新开源模型数学推理能力大提升｜附实测细节\n</h2>\n\n<h4 class=\"meta\">\n\n\n2025-05-01 09:28 北京时间&nbsp;&nbsp;&nbsp;<a href=https://tech.ifeng.com/c/8izd3NbnvBm><strong>APPSO</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>赶在五一假期前夕，DeepSeek给我们送出一份惊喜大礼。延续一贯的开源节奏，DeepSeek在Hugging Face正式发布DeepSeek-Prover-V2，并同步上线模型卡及示例代码。此次共推出两个版本：DeepSeek-Prover-V2-7B：基于上一代V1.5模型，支持最长32K上下文输入；DeepSeek-Prover-V2-671B：在DeepSeek-V3-Base基础上训练...</p>\n\n<a href=\"https://tech.ifeng.com/c/8izd3NbnvBm\">网页链接</a>\n\n</div>\n\n\n</article>\n</div>\n</body>\n</html>\n","isBrief":false,"type":0,"news_type":1,"symbol":"300109","symbol_name":"新开源","start_time":0,"source_url":"https://tech.ifeng.com/c/8izd3NbnvBm","article_id":"2532001790","we_media_id":null,"thumbnails":[],"rights":null,"url":"https://stock-news.laohu8.com/highlight/detail?id=2532001790","pubTimestamp":1746062912,"columns":[],"sourceInfo":{"source_id":"fenghuang_stock","name":"凤凰网"},"weMediaInfo":null,"summary":"赶在五一假期前夕，DeepSeek给我们送出一份惊喜大礼。延续一贯的开源节奏，DeepSeek在Hugging Face正式发布DeepSeek-Prover-V2，并同步上线模型卡及示例代码。他们将DeepSeek-V3的数学知识迁移到新模型中，并结合形式化数据，引入“冷启动”机制，构建起更复杂的推理路径。与此同时，DeepSeek还同步推出了一个全新的数学形式化数据集ProverBench，共包含325道问题题目。此外，DeepSeek 宣布新模型的使用将遵循其公开许可证。","collect":0,"end_time":0,"defaultTopTitle":"ifeng.com","property":["earning"],"viewcount":null,"language":"zh","relate_stocks":{"300109":"新开源"},"translate_title":"DeepSeek \"May Day Gift Package\" is here! The mathematical reasoning ability of the new open source model has been greatly improved | Attached with actual measured details","themeId":null,"isJumpTheme":false,"ttsUrl":null,"symbols_score_info":{"300109":1},"content_text":"赶在五一假期前夕，DeepSeek给我们送出一份惊喜大礼。延续一贯的开源节奏，DeepSeek在Hugging Face正式发布DeepSeek-Prover-V2，并同步上线模型卡及示例代码。此次共推出两个版本：DeepSeek-Prover-V2-7B：基于上一代V1.5模型，支持最长32K上下文输入；DeepSeek-Prover-V2-671B：在DeepSeek-V3-Base基础上训练，推理性能最强。*核心贡献者 †在 DeepSeek-AI 实习期间完成的工作，扫描文末二维码，进社群获取完整报告据官方论文披露，DeepSeek-Prover-V2的训练核心是“递归+强化学习”的组合：即先由DeepSeek-V3拆解复杂定理，生成一系列子目标和推理思路；再通过GRPO算法，从多种候选方案中自动学习如何选出最优解。模型特别引入了两种互补的“解题风格”：快速模式（non-CoT）：专注于速度，像是一位熟练工匠，直接生成精炼的Lean代码答案，不展示思考过程，适合处理大量题目。逻辑模式（CoT）：更像一个耐心的数学老师，会详细列出每一步推理过程，确保逻辑清晰、思路透明。训练过程分为两阶段，在第一阶段，研究人员主要训练快速模式，采用“专家迭代”方法：模型先尝试解决难题，成功的答案再作为新数据反哺模型，不断打磨自己的能力。待快速模式趋于稳定后，研究人员进入第二阶段，开始训练更复杂的逻辑推理能力。他们将DeepSeek-V3的数学知识迁移到新模型中，并结合形式化数据，引入“冷启动”机制，构建起更复杂的推理路径。为了进一步提升推理能力，研究人员引入了GRPO的强化学习算法，不同于传统的 PPO，它直接在多个候选答案中比较优劣，引导模型自主学会选择最优解。具体做法是：每次输入一个定理，系统会生成32个不同的证明方案，然后只保留被 Lean 验证系统判定为“正确”的答案（奖励1分，否则0分），这样模型就能在高质量反馈中不断进化。在开发出性能强大的671B模型后，DeepSeek研究团队又尝试把这些能力“蒸馏”到更小的7B模型中，而整个过程就像是师傅教徒弟:先用大模型生成解题过程，再教会小模型理解并复现；同时将小模型输入长度扩展至与大模型一致，并经历相同的强化训练。这样，即便在资源有限的设备上，用户也能使用小体积模型获得接近大模型的数学推理能力，并根据需求选择快速或详细解题风格。整个体系中，DeepSeek-V3负责拆解复杂定理，生成自然语言的推理草图，同步转译为 Lean 语言表示的一系列子目标，并生成“思路链”作为中间引导。7B模型再一步步完成子证明，最终拼接成完整推理。这种“模糊思考 + 精确证明”的训练机制，有效提升了小模型的数学理解深度。在最终性能评估中，DeepSeek-Prover-V2-671B在MiniF2F测试中实现了88.9%的通过率，成功解出PutnamBench数据集中的49道难题。与此同时，DeepSeek还同步推出了一个全新的数学形式化数据集ProverBench，共包含325道问题题目。涵盖：AIME 竞赛题（15 题）数论、代数、线性代数、微积分、实分析等多个方向这一数据集不仅包含真实的高中竞赛题目，还涵盖从基础代数、实变分析到概率论等多个本科阶段知识点，能够系统评估模型在不同数学领域的推理能力。结果显示，在15道AIME竞赛题中，DeepSeek-Prover-V2成功解出其中6道，而 DeepSeek-V3使用多数投票方式（majority voting）则解决了8道。按照官方的说法，这组对比凸显出一个重要趋势：大型语言模型在“非正式数学推理”和“正式数学推理”之间的表现差距正在明显缩小。非正式数学推理：指模型像人类一样用自然语言思考、理解并解答数学题，比如我们日常说“这道题怎么算？”的方式。它更灵活、不需要严格的逻辑形式。正式数学推理：指模型能用像Lean这样的形式语言，写出符合数学逻辑、可被验证器检验的严谨证明。它像数学论文中的证明，强调每一步推理都必须严格准确。换句话说，过去模型更像是“会算但不会写出严谨证明”。而现在，在模型结构和训练策略不断演进下，语言模型也逐步学会了写出规范、可验证的数学证明。此外，DeepSeek 宣布新模型的使用将遵循其公开许可证。https://github.com/deepseek-ai/DeepSeek-Prover-V2/blob/main/LICENSE-MODEL目前，Prover-V2系列已可通过Hugging Face平台免费下载，并支持Transformers接口部署。Novita AI是首批上线Prover-V2-671B推理服务的第三方提供商，我们也借此测试了一些问题。经典的“一根 5.5 米长的竹竿可以通过高 4 米宽 3 米的门吗？”很遗憾，结果它没答对。对于这道抽象代数，它的回答不仅正确，还能从基本定义出发，解释了什么是群同态、Z₁₂和Z₄的含义，以及同态的运算规则，显然，这对于初学者很友好。从论文所透露的方向来看，DeepSeek-Prover-V2给出的不仅是数学答案，更指明了语言模型下一阶段的可能路径。如果说过去我们关心的是大模型“能说什么”，那么在Prover-V2身上，我们得需要关注它“能证明什么”。数学只是切入口，推理才是DeepSeek这次真正下注的方向。从生成内容迈向生成结构化逻辑，这条路线不够性感，也不容易讲故事，却可能最早触碰通用人工智能的底层结构。毕竟，AI可以不懂人情世故，但它必须学会推理，因为任何知识系统的边界，归根结底都是逻辑能否闭环、以及推理能否成立。","kind":"news","is_publish_news":true,"is_publish_highlight":false,"is_publish_live":false,"is_publish_wemedia":null,"editions":null,"column":"","sentiment":"0","news_tag":"","news_rank":0,"symbols":[],"gpt_button":1,"need_auth":false,"code":"91000000","status":"200"},"commentList":[],"isCommentEnd":true,"newsSizeData":{"likeSize":0,"commentSize":0,"repostSize":0,"favoriteSize":0,"likeStatus":false,"favoriteStatus":false},"APP":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","isDev":false,"isTTM":false,"tenantId":"TBCN","deviceId":"web-server-community-laohu8-v3","version":"4.36.2","shortVersion":"4.36.2","platform":"web","vendor":"web","appName":"laohu8","isIOS":false,"isAndroid":false,"isTiger":false,"isTHS":false,"isWeiXin":false,"isWeiXinMini":false,"isWeiBo":false,"isQQ":false,"isBaiduSwan":false,"isBaiduBox":false,"isDingTalk":false,"isToutiao":false,"isOnePlus":false,"isHuaWei":false,"isXiaomi":false,"isXiaomiWebView":false,"isOppo":false,"isVivo":false,"isSamsung":false,"isMobile":false},"href":"/m/news/2532001790","isCrawlerRequest":true}