DeepSeek推出DeepSeekMath V2模型

Core Insights - DeepSeek launched a new mathematical reasoning model, DeepSeekMath-V2, on November 27, featuring a self-verifying training framework [1] Group 1 - The model is built on DeepSeek-V3.2-Exp-Base and utilizes an LLM verifier to automatically review generated mathematical proofs [1] - DeepSeekMath-V2 continuously optimizes its performance using high-difficulty samples [1]