客畅网4月30日讯，人工智能研究机构DeepSeek于当日下午通过Hugging Face开源社区，推出全新AI大模型DeepSeek-Prover-V2-671B。
该智能系统拥有高达6710亿参数规模，采用高效safetensors格式存储，兼容BF16/FP8/F32等多精度运算方案，显著优化了运算资源利用率与部署便捷性。
基于DeepSeek-V3框架构建的混合专家系统，配备61层Transformer架构与7168维隐层空间，展现出强大的数据处理能力。
模型创新性实现163840字符超长文本处理，结合FP8量化压缩技术，在保持数学逻辑推演精度的同时，有效提升运算速率并降低硬件消耗。
技术观察人士指出，该模型被定位为Prover-V1.5的迭代升级版本，聚焦于数学定理形式化验证领域，其自我演算机制与AlphaGo的自主博弈策略存在技术同源性。
其实际运行效能将在后续评测中揭晓。
