刚刚，DeepSeek-Prover-V2-671B开源模型来了

五一假期前一刻，DeepSeek又悄咪咪发了新模型！ 智东西4月30日消息，刚刚，DeepSeek开源了新模型DeepSeek-Prover-V2-671B。 新模型参数量6710亿，采用速度更快的Safetensors文件格式，支持BF16、FP8、F32等多种计算精度。 从命名来看，这款模型可能是2024年8月，DeepSeek发布的数学模型Prover-V1.5的升级版，Prover-V1.5专门针对数学定理论证任务进行了深度优化。 不过，目前新模型的模型卡和技术报告均未发布。