DeepSeek近日在Hugging Face平台发布了新一代开源模型DeepSeek-Prover-V2-671B。该模型采用高效的safetensors文件格式，支持BF16、FP8、F32等多种计算精度，显著提升了训练与部署效率。

从命名推断，这款参数规模达6710亿的模型可能是此前Prover-V1.5的升级版本，或专注于数学推理领域。目前官方尚未披露具体性能数据，但其技术规格已引发AI社区关注。开源地址已公开，开发者可自由访问。