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

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

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