DeepSeek，重大突发！

Core Viewpoint - DeepSeek has launched two new models, DeepSeek-V3.2 and DeepSeek-V3.2-Speciale, aiming to enhance reasoning capabilities and application in various scenarios [1][2]. Model Features - DeepSeek-V3.2 aims to balance reasoning ability and output length, suitable for daily use such as Q&A and general agent tasks. It has achieved performance comparable to GPT-5 in benchmark tests, slightly below Gemini-3.0-Pro [2]. - DeepSeek-V3.2-Speciale is an enhanced version of V3.2, integrating theorem proving capabilities from DeepSeek-Math-V2, excelling in instruction following and logical verification. It has won gold medals in several prestigious competitions, including IMO 2025 and ICPC World Finals 2025 [3]. Technological Advancements - DeepSeek-V3.2 is the first model to integrate reasoning with tool usage, supporting both reasoning and non-reasoning modes for tool invocation. The model has been trained on over 85,000 complex instructions across 1,800 environments, significantly improving its generalization ability [4]. Market Outlook - The AI industry is entering a period of resonance, with rapid expansion in AI infrastructure and commercialization of downstream applications. Analysts predict continued prosperity in the AI sector, with a focus on domestic chips, servers, and AI applications [5][7]. - On December 1, AI-related stocks showed strong performance in the secondary market, with significant gains in AI mobile devices and AI computing power sectors [6].