DeepSeek-Prover-V2-671B最新體驗地址：Prover版僅適合解決專業數學證明問題

DeepSeek 團隊于 2025 年 4 月 30 日正式在Hugging Face開源了其重量級新作 —— DeepSeek-Prover-V2-671B，這是一款專為解決數學定理證明和形式化推理任務而設計的超大規模語言模型。目前，該模型已在 Hugging Face 上局部開放體驗，并被 Novita 平臺成功跑通，面向全球開發者和研究者開放測試。

---

最新在線體驗地址

• Novita 平臺入口（推薦碼可使用）：https://novita.ai/referral?invited_code=A43LMN
  

• Hugging Face 在線測試地址：https://huggingface.co/playground?modelId=deepseek-ai/DeepSeek-Prover-V2-671B&provider=novita

---

實測案例

目標用戶

模型概覽

• 參數規模：約 6710 億參數，劃分為 163 個分片，每個分片大小約為 4.3GB，標志著其在開源領域中的頂級體量。

• 架構設計：構建于 DeepSeek-V3 框架之上，采用混合專家（Mixture of Experts, MoE）機制，共有 61 層 Transformer 層，隱藏維度為 7168。

• 上下文長度：支持高達 163,840 的最大上下文長度，可處理復雜的長鏈邏輯和多步驟數學推理。

• 量化技術：結合 FP8、BF16 與 F32 三種精度格式，兼顧模型推理速度與精度，提升部署靈活性。

• 模型格式：使用高效的 safetensors 文件格式，加載性能良好，部署簡便。

---

技術亮點

1. 數學推理優化

DeepSeek-Prover-V2-671B 被專門訓練用于處理數學證明相關任務，包括自動化證明、邏輯推演、數學表達式解析等，在符號推理領域表現出色。

2. 高級訓練方法

采用強化學習（如 RLHF）結合大規模數學合成數據進行微調，增強了模型在非結構化輸入條件下的穩健性和泛化能力。

3. 專業領域能力突出

相比于通用大模型，Prover 版本具備更精準的邏輯組織能力和專業術語理解能力，特別適合在科研、教育、工程數學等場景中落地使用。

---

獲取與使用

DeepSeek-Prover-V2-671B 可通過以下渠道體驗或下載：

• Hugging Face 模型主頁：
  https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B

• Novita 平臺實時體驗（推薦注冊使用）：
  https://novita.ai/referral?invited_code=A43LMN
  

---

注意事項

請注意，DeepSeek-Prover-V2-671B 僅推薦用于專業級數學問題處理，對于通用對話、閑聊或非邏輯密集型任務，其表現可能不如通用大語言模型。

---

總結

DeepSeek-Prover-V2-671B 的發布標志著開源數學大模型領域的一次重大突破，其在數學推理精度、上下文處理能力和部署效率上的表現令人期待。對于追求專業、高效的數學自動證明能力的用戶而言，這是一個不容錯過的里程碑產品。

如需進一步了解部署方式、API 接入或定制化訓練服務，歡迎留言或聯系 DeepSeek 官方支持。

---