4月30日，DeepSeek在AI开源社区Hugging Face上发布了名为DeepSeek-Prover-V2-671B的新模型。

据悉，DeepSeek-Prover-V2-671B使用了更高效的safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。