DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，並支持多種計算精度，方便模型更快、更省資源地訓練和部署，參數量6710億，或為去年發布的Prover-V1.5數學模型升級版本。
觀點網訊：4月30日，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量化，可通過量化技術減小模型大小，提高推理效率。
免責聲明：本文内容與數據由觀點根據公開信息整理，不構成投資建議，使用前請核實。
審校：
版權聲明：觀點網絡信息科技有限公司及廣州觀點信息資訊服務有限公司擁有及保留其主辦暨承辦網站、論壇及活動的所有資料（包括但不限於文字、圖片、音頻、視頻資料及頁面設計、編排、軟件等）的所有權、版權等其他相關知識產權。除經授權合法使用上述資料外，未征得我司書面許可並付費，任何單位和個人不得以任何理由及方式使用上述資料（包括但不限於轉載、轉讓、授權他人使用等），否則我司將依法追究其法律責任以及賠償責任。
承印人：觀點網絡信息科技有限公司 (Guandian Network Information Technology Co.,Ltd.)
地址：香港灣仔菲林明道8號大同大廈15樓1505室（Room 5,15th Floor,Tai Tung Building,8 Fleming Road,Wan chai,HongKong Island,HongKong. ）
電郵：info@guandian.hk
移動端下載