精選DeepSeek發布Prover-V2模型，參數量達6710億

BTCC / BTCC Square / 金色財經 /

Author:

發佈時間:

2025-04-30 18:37:00

金色財經報導，Deepseek今日於AI開源社區Hugging Face上發布了一個名為DeepSeek-Prover-V2-671B的新模型。據悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，並支持多種計算精度，方便模型更快、更省資源地訓練和部署，參數達6710億，或為去年發布的Prover-V1.5數學模型升級版本。在模型架構上，該模型使用了DeepSeek-V3架構，採用MoE（混合專家）模式，具有61層Transformer層，7168維隱藏層。同時支持超長上下文，最大位置嵌入達16.38萬，使其能處理複雜的數學證明，並且採用了FP8量化，可通過量化技術減小模型大小，提高推理效率。 (金十)

來源:

登入回覆

登入分享您的看法

前一篇

<< Kelp：升級發現費用鑄造合約錯誤，已暫停充提功能確保資金安全 >>

本站轉載文章皆來自公開網絡，部分由AI整理，僅為傳遞產業訊息，不代表BTCC立場。原創權益歸原作者所有。如發現版權問題，請透過[email protected]聯絡我們，我們將依法處理。 BTCC不對資訊準確性、時效性及完整性作任何保證，不承擔因依賴資訊而產生的任何責任。內容僅供參考，不構成投資、法律或商業建議。