GoodNav 报道，AI 开源社区 Hugging Face 今日发布了 DeepSeek 新模型 DeepSeek-Prover-V2-671B。
DeepSeek-Prover-V2-671B 模型采用更高效的safetensors 文件格式，支持BF16、FP8、F32等多种计算精度，从而提升训练和部署速度并降低资源消耗。
