據deepseek官方消息，12月1日，deepseek 宣布發布兩個正式版模型：deepseek-v3.2 和 deepseek-v3.2-speciale。
官方網頁端、app 和 api 均已更新為正式版deepseek-v3.2。speciale 版本目前僅以臨時 api 服務形式開放，以供社區評測與研究。
據介紹，deepseek-v3.2的目標是平衡推理能力與輸出長度，適合日常使用，例如問答場景和通用 agent 任務場景。在公開的推理類 benchmark 測試中，deepseek-v3.2 達到了 gpt-5 的水平，僅略低於 gemini-3.0-pro；相比 kimi-k2-thinking，v3.2 的輸出長度大幅降低，顯著減少了計算開銷與用戶等待時間。
deepseek-v3.2-speciale的目標是將開源模型的推理能力推向極致，探索模型能力的邊界。v3.2-speciale 是 deepseek-v3.2 的長思考增強版，同時結合了 deepseek-math-v2的定理證明能力。該模型具備出色的指令跟隨、嚴謹的數學證明與邏輯驗證能力，在主流推理基準測試上的性能表現媲美 gemini-3.0-pro（見表1）。更令人矚目的是，v3.2-speciale模型成功斬獲 imo 2025（國際數學奧林匹克）、cmo 2025（中國數學奧林匹克）、icpc world finals 2025（國際大學生程序設計競賽全球總決賽）及ioi 2025（國際信息學奧林匹克）金牌。其中，icpc 與 ioi 成績分別達到了人類選手第二名與第十名的水平。
