DeepSeek推出671億參數模型用於數學

深入尋求證明者-V2-671B 新推出

4月30日，Hugging Face社區和各個頁面宣布了DeepSeek-Prover-V2-671B模型的開源。這是爲了處理數學定理證明問題而開發的模型，採用了"混合專家"架構(MoE)，並基於Lean 4進行形式推理的訓練。

提高自動化能力

在參數規模高達671億的情況下，DeepSeek-Prover-V2-671B結合了增強學習和大規模綜合數據。這顯著提高了自動證明的能力，開闢了更多的應用可能性。

靈活使用

該模型已在 Hugging Face 上介紹，支持本地部署和商業使用。這爲將模型應用於不同領域提供了靈活性和擴展能力，從研究到商業。

注意：上述內容僅供市場信息參考，不構成投資建議。

感謝大家閱讀這篇文章！

請點讚、評論並關注 TinTucBitcoin，以便隨時更新最新的加密貨幣市場新聞，確保不錯過任何重要信息！