DeepSeek releases DeepSeekMath-V2 model

The model is built on DeepSeek-V3.2-Exp-Base, automatically reviews the generated mathematical proofs through an LLM validator, and continuously optimizes performance using high-difficulty samples.