DeepSeekは、自己検証可能な学習フレームワークを採用した新しい数学的推論モデル、DeepSeekMath-V2を導入しました。DeepSeek-V3.2-Exp-Baseを基盤とするこのモデルは、生成された数学的証明をLLMバリデータを用いて自動的に検証し、高難易度のサンプルで継続的にパフォーマンスを最適化します。