Readhub
DeepSeek 发布可自验证数学模型 DeepSeekMath-V2
2025 年 11 月 27 日
DeepSeek 推出新型数学推理模型 DeepSeekMath-V2，采用可自我验证的训练框架，基于 DeepSeek-V3.2-Exp-Base 构建，通过 LLM 验证器审查数学证明、用高难度样本优化性能。该模型在 IMO 2025 和 CMO 2024 中达金牌水平，Putnam 2024 获 118/120 分，验证了自验证推理路径可行性，为构建可靠数学智能系统提供新方向。模型代码与权重已在 Hugging Face 及 GitHub 平台开源。同时提醒，市场有风险，投资需谨慎，本文不构成个人投资建议。
展开全部报道
话题追踪2026-04-10
传梁文锋内部发声，DeepSeek V4 将于 4 月下旬发布2026-04-07
DeepSeek V4 又灰度测试：全新界面、多模态重大升级2026-02-28
消息称 DeepSeek 多模态大模型 V4 将于下周发布2026-01-27
DeepSeek 发布 DeepSeek-OCR 2 模型2026-01-21
DeepSeek 新模型曝光：MODEL1 代码预示新架构，最快有望 2 月发布2026-01-09
DeepSeek 据称将于 2 月发布最新旗舰 AI 模型2025-12-01
DeepSeek V3.2 正式版发布：强化 Agent 能力，融入思考推理2025-11-27
DeepSeek 发布可自验证数学模型 DeepSeekMath-V22025-09-29
DeepSeek V3.2、智谱 GLM4.6 等大模型即将发布查看更多
专业版功能体验专业版特色功能，拓展更丰富、更全面的相关内容。