DeepSeek 发布 DeepSeek-Prover-V2 新模型

日前，DeepSeek 在全球最大 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。延续一贯的开源节奏，DeepSeek 在 Hugging Face 正式发布 DeepSeek-Prover-V2，并同步上线模型卡及示例代码。此次共推出两个版本：DeepSeek-Prover-V2-7B：基于上一代 V1.5 模型，支持最长 32K 上下文输入；DeepSeek-Prover-V2-671B：在 DeepSeek-V3-Base 基础上训练，推理性能最强。地址