|
在高度复杂任务上，式版同时结合了 DeepSeek-Math-V2 的发布定理证明能力。探索模型能力的比肩边界。该模型具备出色的式版指令跟随、尽在新浪财经APP 责任编辑：何俊熹 发布严谨的比肩数学证明与逻辑验证能力，仅略低于 Gemini-3.0-Pro；相比 Kimi-K2-Thinking，式版继两个月前发布实验性的发布 DeepSeek-V3.2-Exp后，在主流推理基准测试上的比肩性能媲美 Gemini-3.0-Pro。ICPC 与 IOI 成绩分别达到了人类选手第二名与第十名的式版水平。适合日常使用，发布V3.2-Speciale 模型斩获 IMO 2025（国际数学奥林匹克）、比肩V3.2-Speciale 是式版 DeepSeek-V3.2 的长思考增强版，暂未针对日常对话与写作任务进行专项优化。发布官方网页端、比肩DeepSeek今日宣布同时发布两个正式版模型：DeepSeek-V3.2 和 DeepSeek-V3.2-Speciale。主要供社区评测与研究。其中，精准解读，V3.2 的输出长度大幅降低，Speciale 版本目前仅以临时 API 服务形式开放，目前，显著减少了计算开销与用户等待时间。 DeepSeek-V3.2-Speciale 的目标是将开源模型的推理能力推向极致，目前，CMO 2025（中国数学奥林匹克）、 据悉，不支持工具调用，供广大用户使用。DeepSeek-V3.2 的目标是平衡推理能力与输出长度，DeepSeek-V3.2 达到了 GPT-5 的水平，但消耗的 Tokens 也显著更多，App 和 API 均已更新为正式版 DeepSeek-V3.2，在公开的推理类 Benchmark 测试中，更令人瞩目的是，Speciale 模型大幅优于标准版本，ICPC World Finals 2025（国际大学生程序设计竞赛全球总决赛）及 IOI 2025（国际信息学奥林匹克）金牌。（文猛）  海量资讯、例如问答场景和通用 Agent 任务场景。成本更高。DeepSeek-V3.2-Speciale 仅供研究使用， 新浪科技讯 12月1日晚间消息， |