DeepSeek于2025年4月30日在Hugging Face开源社区正式推出DeepSeek-Prover-V2-671B模型。作为Prover-V1.5的升级版，该模型专攻数学定理自动证明、复杂计算等任务，延续前作通过“自我对弈”学习数学的策略。模型参数量达到6710亿，属于数学AI领域的前沿大规模模型。技术优化方面，采用高效的safetensors文件格式，支持BF16、FP8、F32等多种计算精度，显著提升训练和部署效率。
新华财经|2025年04月30日
阅读量：
暂无详文
新华财经声明：本文内容仅供参考，不构成投资建议。投资者据此操作，风险自担。
微信扫码，支付元
支付宝，支付元
