DeepSeek 在 Hugging Face 发布新模型 DeepSeek-Prover-V2-671B，采用高效 safetensors 文件格式，支持多种计算精度（BF16、FP8、F32 等），提升训练和部署效率并节省资源。