开云体育 
DeepSee开云体育官方k发布最新开源数学推理模型Prover-V2-671B
2025-05-01
浏览次数：
次
返回列表
DeepSeek-Prover-V2-671B 基于混合专家(MoE)架构，并采用 Lean 4 框架进行形式化推理训练。该模型结合了强化学习和大规模合成数据，显著提升了自动化证明能力。此外，新模型支持 BF16、FP8 和 F32 等多种计算精度，并采用高效的 safetensors 文件格式，使得训练和部署更加快速且节省资源。
该模型的发布也可能为 DeepSeek 的 R2 系统铺路，进一步验证其在复杂推理任务中的能力。同时，它也为 AI 在数学领域的应用提供了新的可能性，例如加速数学知识的发现和验证。
