【DeepSeek 推出 DeepSeekMath‑V2 模型，主打自验证数学推理能力】DeepSeek发布DeepSeekMath-V2模型，主打自验证数学推理能力，在IMO 2025和CMO 2024中均达金牌水准，Putnam 2024近乎满分。模型通过构建基于LLM的验证器，自动审查生成证明，提升验证能力。#AI数学推理# #DeepSeekMath# ​