DeepSeek-Math

DeepSeek-Math 是一个专注于数学推理能力提升的开源大语言模型，基于 DeepSeek-Coder-v1.5 7B 初始化，通过在数学文本、自然语言和代码混合语料上持续预训练（500B tokens）优化逻辑推演与符号理解能力。其核心特点是无需外部工具或集成投票即可在 MATH 竞赛级基准上取得 51.7% 准确率，支持零样本数学解题、定理推导与形式化表达生成。适用于教育辅助、自动解题系统、AI 数学研究及 STEM 领域的智能问答场景。