刚刚，DeepSeek 在全球最大 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。@APPSO

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

从命名上看 ​……