[DeepSeek Releases V3.2 and V3.2-Speciale Models, Balancing Reasoning Ability and Output Length] Foresight News reports that DeepSeek has released the V3.2 and V3.2-Speciale models. The goal of DeepSeek-V3.2 is to balance reasoning ability and output length, making it suitable for everyday use, such as Q&A scenarios and general agent task scenarios. V3.2-Speciale is an enhanced long-thinking version of DeepSeek-V3.2, incorporating the theorem-proving capabilities of DeepSeek-Math-V2. This model excels in instruction following, rigorous mathematical proof, and logical validation. The web version, app, and API have been upgraded, and the Speciale model API will remain open until December 15.