DeepSeek-Prover-V2-671B 新模型开源发布

图片地址：https://img.ithome.com/newsuploadfiles/2025/4/6e4cc2fe-ec5f-4ca5-bfd0-26289b175817.jpg?x-bce-process=image/format,f_auto

IT之家 4 月 30 日消息，DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B的新模型。DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度，方便模型更快、更省资源地训练和部署。从命名上看，这款参数高达 6710 亿的模型可能是去年发布的数学 AI 模型 Prover-V1.5 的升级版。截至IT之家发文，DeepSeek 官方暂未公布这个模型的性能介绍，开源地址如下：https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B/tree/main