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 等大模型即将发布查看更多
体验专业版特色功能,拓展更丰富、更全面的相关内容。