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

作者：汪淼 2025-04-30 05:56

DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度，方便模型更快、更省资源地训练和部署。

感谢DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。

DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度，方便模型更快、更省资源地训练和部署。

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

从命名上看，这款参数高达 6710 亿的模型可能是去年发布的数学 AI 模型 Prover-V1.5 的升级版。

截至AI在线发文，DeepSeek 官方暂未公布这个模型的性能介绍，开源地址如下：

https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B/tree/main

OpenAI首席研究官：DeepSeek独立发现了o1的一些核心思路，奥特曼、LeCun纷纷置评

成本打下来了，需求更多才对？春节这几天，国内外 AI 圈都被 DeepSeek 刷了屏。英伟达的股市震荡更是让全世界看得目瞪口呆（参见《英伟达市值蒸发近 6000 亿美元，而 DeepSeek 刚刚又开源新模型》）。

1/29/2025 6:43:00 PM

机器之心

围绕 DeepSeek 的谣言实在太多了。面对 DeepSeek R1 这个似乎「一夜之间」出现的先进大模型，全世界已经陷入了没日没夜的大讨论。从它的模型能力是否真的先进，到是不是真的只用了 550W 进行训练，再到神秘的研究团队，每个角度都是话题。

2/5/2025 2:37:00 PM

机器之心

更多相关介绍：. 重磅好文！ 8个章节带你全方位了解DeepSeek这两天，DeepSeek-R1 火的飞起，在中日美三个 Appstore 榜上登顶。

2/8/2025 12:04:55 AM

解决师Blue