快科技4月30日消息，今日，DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeekProverV2671B 的新模型。
据介绍，DeepSeekProverV2671B 其参数量达到6710亿，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度，方便模型更快、更省资源地训练和部署。
有网友分析，该模型被视为 ProverV1.5的升级版，专注于形式化定理证明，专门用于攻克数学难题，擅长自动证明定理和复杂计算，类似于 AlphaGo 在围棋中的自我对弈方式。
接下来它的性能测试表现会如何，值得期待。
【本文结束】如需转载请务必注明出处：快科技
责任编辑：秋白