今日，《科创板日报》报道，人工智能公司DeepSeek在AI开源社区Hugging Face发布了全新模型DeepSeek-Prover-V2-671B。该模型参数量高达6710亿，是Prover-V1.5的升级版，采用更高效的safetensors文件格式并支持多计算精度，便于快速训练与部署。其架构基于DeepSeek-V3，运用MoE混合专家模式，含61层Transformer层及7168维隐藏层，支持超长上下文，最大位置嵌入达16.38万，可高效处理复杂数学证明任务。此外，模型通过FP8量化技术优化推理效率，减小模型体积。此模型的发布标志着深度学习领域的重要进展，值得关注。

4月30日，AI模型DeepSeek-Prover-V2-671B在Hugging Face开源发布。该模型由DeepSeek推出，参数量达6710亿，据推测是Prover-V1.5的升级版本。它采用更高效的safetensors文件格式，并支持BF16、FP8、F32等多种计算精度，有助于提升训练和部署效率。目前，DeepSeek尚未公开其具体性能数据。开源地址：