4月30日下午，DeepSeek在AI开源中发布了一种新车型，称为DeepSeek-Prover-V2-671B，今天拥抱面孔。据报道，DeepSeek-Prover-V2-671b使用更好的SafentEnors文件格式，并支持许多计算准确性，促进更快，更多的资源节省和扩展模型。这些参数高达6710亿，或去年发布的箴言-V1.5数学模型的升级版本。在模型体系结构方面，该模型使用DeepSeek-V3体系结构，采用了MOE模型（Hybrid Expert），具有61层变压器层和7168维隐藏层。同时，它支持Ultra上下文，最大嵌入位置为163,840，这使其可以处理数学中的复杂证明。使用FP8音量，可以通过体积技术减少模型的大小并提高识别效率。
