廣東
就在剛剛，DeepSeek 在全球最大 AI 開源社區 Hugging Face 發布了一個名為 DeepSeek-Prover-V2-671B 的新模型。
根據目前公布的信息，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持多種計算精度，方便模型更快、更省資源地訓練和部署。
從命名上看，這款參數高達 6710 億的模型可能是去年發布的數學 AI 模型 Prover-V1.5 的升級版。
去年開源的 Prover-V1.5 雖然只有 70 億參數，但在高中數學測試（miniF2F）中成功率達到 63.5%，在大學級別測試（ProofNet）中也拿下了 25.3%，超越了多款開源模型（InternLM2-StepProver、Llemma）。
不少網友猜測，這款模型延續了前作 Prover-V1.5 的風格，專門用來攻克數學難題，尤其擅長自動證明定理、做復雜計算，比如像 AlphaGo 下圍棋一樣，通過「自我對弈」來學數學。
接下來它會表現如何，值得期待。
附上 Hugging Face 地址：
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
