模型介绍
中文整理DeepSeekMath-V2：迈向自我验证的数学推理
模型用途
大型语言模型在数学推理领域取得显著进展，数学推理是人工智能的重要测试平台。DeepSeekMath-V2专注于定理证明任务，旨在实现自我验证的数学推理能力。
主要能力
该模型能够进行严格的逐步数学推导，而非仅输出最终数值答案。模型具备以下核心能力：训练基于大型语言模型的准确且忠实的验证器；使用验证器作为奖励模型训练证明生成器；激励生成器在最终确定证明前识别并解决尽可能多的问题。通过扩展验证计算自动标记难以验证的证明，从而进一步提升验证器性能。
输入输出
输入为数学问题和定理，输出为逐步的证明过程和最终答案。
运行要求
DeepSeekMath-V2基于DeepSeek-V3.2-Exp-Base构建。推理支持请参考DeepSeek-V3.2-Exp代码仓库。
基本用法
模型可用于数学定理证明、证明验证等任务。更多推理支持信息请查阅相关技术文档。
限制
该方法存在一定局限性：追求更高的最终答案准确率并不能解决核心问题，即正确答案不能保证推理过程正确。许多数学任务如定理证明需要严格的逐步推导，而非仅提供数值答案。
许可证
本仓库及模型权重采用Apache License, Version 2.0（Apache 2.0）许可。
优先采用原作者提供的中文模型卡片；仅有英文说明时由闲社AI翻译整理。重要参数、许可证和商用范围请以原文为准。
你将获得什么
完整仓库方式包含该固定版本中的权重、配置、分词器及说明文件；指定版本方式只下载所选文件或整组分片。多模态模型的投影文件、配置等依赖，请按作者说明配齐。
完整仓库可能包含多个权重格式，因此需要的磁盘空间可能大于单一格式的模型大小。下载文件不等于完成模型部署。
使用前须知
运行模型需要的设备、工具与依赖，以原作者说明为准。
是否允许商用、修改和分发，请查看模型许可证。
闲社提供资料与镜像下载方法，不代表已运行模型或完成安全审计。下载的代码应先检查，再执行。
资料或下载有问题？
登录后可提交反馈。