2025年 4 月 30 日，人工智能公司 DeepSeek 在 Hugging Face 平臺悄然發布其最新超大規模數學定理證明模型 —— DeepSeek-Prover-V2-671B。該模型參數量高達 6710 億（671B），是前代版本 V1.5 的近百倍，刷新了當前開源數學推理模型的體量上限。
DeepSeek-Prover-V2 專注于形式化數學證明任務，適用于自動定理驗證、邏輯推理訓練、Lean 4 教學等場景。其架構基于 DeepSeek-V3，采用混合專家（MoE）設計，每層激活 8 個專家模塊，支持超長 163K tokens 的上下文處理，專為復雜、長鏈數學邏輯建模打造。
盡管官方尚未公布訓練細節與性能評測結果，但業內普遍預計該模型將在 MiniF2F、ProofNet 等數學證明基準上展現出顯著性能，推動 AI 在數學自動化領域進一步發展。
?? 模型地址：https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B/tree/main
?版權聲明：如無特殊說明，本站所有內容均為AIHub.cn原創發布和所有。任何個人或組織，在未征得本站同意時，禁止復制、盜用、采集、發布本站內容到任何網站、書籍等各類媒體平臺。否則，我站將依法保留追究相關法律責任的權利。
