本站4月30日消息，今日下午，DeepSeek 在 AI 開源社區 Hugging Face 發布了一個名為 DeepSeek-Prover-V2-671B 的新模型。
據介紹，DeepSeek-Prover-V2-671B 其參數量達到6710億，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多種計算精度，方便模型更快、更省資源地訓練和部署。
在模型架構上，該模型使用了DeepSeek-V3架構，采用MoE（混合專家）模式，具有61層Transformer層，7168維隱藏層。
同時支持超長上下文，最大位置嵌入達163840，使其能處理復雜的數學證明，并且采用了FP8量化，可通過量化技術減小模型大小，提高推理效率。
有網友分析，該模型被視為 Prover-V1.5的升級版，專注于形式化定理證明，專門用于攻克數學難題，擅長自動證明定理和復雜計算，類似于 AlphaGo 在圍棋中的自我對弈方式。
接下來它的性能測試表現會如何，值得期待。
鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播更多信息之目的，如作者信息標記有誤，請第一時間聯系我們修改或刪除，多謝。
