Lgg4月前
AIDAv2
00:00 / 08:52
连播
清屏
智能
倍速
点赞66
deepseek开源新模型,DeepSeekMath-V2 刚刚,DeepSeekMath-V2,一个不仅会算题,还会像数学家一样进行严谨推理、生成证明、并能自我验证的模型正式开源。它背后的开源仓库和说明文档都公开了。这不是会写代码、写文案那种层面——这是在挑战人类大脑最难的一块:数学与逻辑。 它为什么这么强?背后不是魔法,而是清晰的技术体系和训练机制: 首先,DeepSeekMath-V2 是建立在 DeepSeek‑V3.2‑Exp‑Base 之上的 “数学专用分支” 模型。 它的核心能力,不只是给答案,而是专注“定理证明 + 推理 + 自我验证 (self-verification)”,也就是说,它能生成完整证明过程,然后用“验证器 (verifier)” 自动审查这条推理链是否逻辑严谨。 具体训练机制也有创新 —— 它采用“生成器 (proof generator)” + “验证器 (verifier)” 的双模型协同机制 (generator–verifier architecture)。proof generator 负责生成证明,verifier 则负责自动验证这些证明的正确性。错误或不严谨的证明会被反馈回生成器,进行修正。这个过程中,生成器被“奖励 (reward)”的是“通过验证 + 推理严谨”的证明,而不是仅仅“最终答案正确”。就是说,DeepSeekMath-V2 不是那种“蒙答案 / 猜结果”的 AI――它尝试做“像数学家一样,写出逻辑严密、可验证的证明”。这正是之前很多数学-AI 模型的软肋 —— “正确答案 ≠ 正确推理”。 deepseek math v2 #DeepSeekMathV2 #DeepSeek
00:00 / 03:13
连播
清屏
智能
倍速
点赞12