Loading...

解码AI

解码AI

DeepSeek-Prover-V2-671B 新模型开源发布

DeepSeek Prover-V2-671B采用safetensors格式与BF16/FP8等多精度计算,显著提升模型训练部署效率,或为Prover-V1.5升级版,强化代码与数学推理能力,开源...