模型发布与产品线更新 - 公司于12月1日同时发布两个正式版模型：DeepSeek-V3.2和DeepSeek-V3.2-Speciale [1] - 官方网页端、App和API均已更新为正式版DeepSeek-V3.2 [1] DeepSeek-V3.2模型定位与能力 - 该模型的目标是平衡推理能力与输出长度，适合日常使用 [1] - 适用场景包括问答场景和通用Agent任务场景 [1] DeepSeek-V3.2-Speciale模型定位与能力 - 该模型的目标是将开源模型的推理能力推向极致，探索模型能力的边界 [1] - V3.2-Speciale是DeepSeek-V3.2的长思考增强版，同时结合了DeepSeek-Math-V2的定理证明能力 [1] - 该模型具备出色的指令跟随、严谨的数学证明与逻辑验证能力 [1] - 在主流推理基准测试上的性能表现媲美国际头部模型 [1] DeepSeek-V3.2-Speciale模型竞赛成就 - 该模型成功斩获IMO 2025（国际数学奥林匹克）、CMO 2025（中国数学奥林匹克）、ICPC World Finals 2025（国际大学生程序设计竞赛全球总决赛）及IOI 2025（国际信息学奥林匹克）金牌 [1] - 其中，ICPC成绩达到了人类选手第二名的水平 [1] - IOI成绩达到了人类选手第十名的水平 [1]