公司产品发布 - DeepSeek于12月1日晚间发布两个正式版模型：DeepSeek-V3.2和DeepSeek-V3.2-Speciale [1] - DeepSeek-V3.2的目标是平衡推理能力与输出长度，适合日常问答场景和通用Agent任务场景 [1] - 在公开的推理类Benchmark测试中，DeepSeek-V3.2达到了GPT-5的水平，仅略低于Gemini-3.0-Pro [1] - 相比Kimi-K2-Thinking，V3.2的输出长度大幅降低，显著减少了计算开销与用户等待时间 [1] 产品性能与定位 - DeepSeek-V3.2-Speciale的目标是将开源模型的推理能力推向极致，探索模型能力的边界 [1] - V3.2-Speciale是DeepSeek-V3.2的长思考增强版，同时结合了DeepSeek-Math-V2的定理证明能力 [1] - 该模型具备出色的指令跟随、严谨的数学证明与逻辑验证能力 [1] - 在主流推理基准测试上的性能表现媲美Gemini-3.0-Pro [1]