深度求索（DeepSeek）今日正式推出其全新升级的数学大模型 DeepSeek-Math-V2。该模型在复杂推理、多步证明与竞赛级数学问题求解上实现重大突破，全面超越前代版本及多个国际主流数学模型。
DeepSeek-Math-V2 基于深度求索自研的高效推理架构，在保持千亿参数规模的同时，引入动态符号验证机制与多策略解题路径融合技术，显著提升解题准确性与泛化能力。在权威评测中，该模型在 MATH（竞赛数学）基准上达到 68.7% 的准确率，AIME（美国数学邀请赛）模拟测试通过率达 41%，两项指标均位居全球开源模型首位。
此外，DeepSeek-Math-V2 支持：
中英文混合数学语境理解
从初中代数到大学微积分、线性代数的全学段覆盖
自动生成严谨、可读的分步解答过程
与 DeepSeek IDE 深度集成，支持代码+公式联合推理
即日起，DeepSeek-Math-V2 已在 Hugging Face 和 ModelScope 开源，并同步上线 DeepSeek 官网免费体验入口，面向教育机构、科研人员及开发者开放 API 调用。
深度求索表示，将持续推动 AI 在科学计算与教育领域的落地，让高阶数学能力“人人可用、处处可及”。
开源地址：
https://huggingface.co/deepseek-ai/DeepSeek-Math-V2
免费体验：
https://deepseek.com/math
