DeepSeek推出新版本，名为DeepSeek-Prover-V2-671B新模型，现已开源发布，该模型可能具备先进的特性和性能，为相关领域的研发和应用带来便利，具体性能和特点尚未明确提及，但此更新可能会对相关领域的技术进步产生积极影响。
电脑知识网报道，今日下午，Hugging Face的AI开源社区DeepSeek发布了一款名为DeepSeek-Prover-V2-671B的新模型。 据悉，这款DeepSeek-Prover-V2-671B模型参数量达到了惊人的6710亿，它采用了高效的safetensors文件格式，并支持BF16、FP8、F32等多种计算精度，从而实现了更快、更省资源的训练和部署。 在模型架构方面，DeepSeek-Prover-V2-671B采用了DeepSeek-V3架构，并运用了MoE（混合专家）模式，该模型拥有61层Transformer层，以及7168维隐藏层，支持超长上下文，最大位置嵌入高达163840，这样的特性使得它能够轻松应对复杂的数学证明，通过FP8量化技术，该模型能够减小模型大小，提高推理效率。 有网友分析指出，这款模型被视为Prover-V1.5的升级版，专注于形式化定理证明，特别适用于攻克数学难题，它擅长自动证明定理和进行复杂计算，就像AlphaGo在围棋领域的自我对弈一样。 该模型的发布引起了广泛关注，我们期待它的性能测试表现能够达到何种程度。 （图片居中显示） （图片高度为226px，宽度为600px）图片链接：点击这里查看DeepSeek上新模型（图片边框为黑色，粗细为1px） （图片高度为777px，宽度为550px）图片链接：点击这里查看DeepSeek上新模型（图片边框为黑色，粗细为1px） （图片高度为336px，宽度为600px）图片链接：点击这里查看DeepSeek上新模型介绍（图片边框为黑色，粗细为1px）,让我们共同期待这款新模型的未来表现。
