重磅！DeepSeek推出DeepSeekMath‑V2模型

Core Insights - DeepSeek launched a new mathematical reasoning model, DeepSeekMath-V2, on HuggingFace, featuring a self-verifying training framework [1] - The model is built on DeepSeek-V3.2-Exp-Base and utilizes an LLM verifier to automatically review generated mathematical proofs, continuously optimizing performance with high-difficulty samples [1] - Achievements include gold medal levels in IMO 2025 and CMO 2024, and a score of 118/120 in Putnam 2024, validating the feasibility of self-verifying reasoning paths [1] - The model's code and weights have been open-sourced and are available on Hugging Face and GitHub [1]