[DeepSeek Launches DeepSeekMath-V2 Model] According to Golden Finance, DeepSeek has launched a new mathematical reasoning model, DeepSeekMath-V2, which adopts a self-verifying training framework. The model is built on DeepSeek-V3.2-Exp-Base and automatically reviews generated mathematical proofs through an LLM validator, continuously optimizing performance with challenging samples. (Securities Times)