DeepSeekMath-V2
ファインチューニングofficialmathreasoningself-verificationcompetition-mathopen-source
DeepSeek AIの第2世代数学推論モデル。2025年11月27日公開。自己検証型数学推論を導入。IMO 2025金メダル（6問中5問解決）、CMO 2024金メダル、Putnam 2024で118/120点（人間最高90点）を達成。685Bパラメータ。Apache 2.0ライセンス。
ベンチマーク
putnam-2024
118
ソース: https://arxiv.org/abs/2511.22570
技術仕様
アーキテクチャ
Self-verification math reasoning, LLM-based proof verification with meta-verification
パラメータバリエーション
DeepSeekMath-V2(685B)
HuggingFace自己検証型数学推論モデル。IMO 2025金メダル達成。
MoEアクティブパラメータ: ~40B
VRAM1.4TB
GGUFファイルは登録されていません
関連モデル
DeepSeek-LLM
4 バリエーション
DeepSeek-Coder
7 バリエーション
DeepSeekMoE
2 バリエーション
DeepSeek-Math
3 バリエーション
DeepSeek-VL
2 バリエーション
DeepSeek-V2
4 バリエーション
DeepSeek-Coder-V2
4 バリエーション
DeepSeek-Prover
1 バリエーション
DeepSeek-V2.5
1 バリエーション
DeepSeek-V3
2 バリエーション
DeepSeek-VL2
3 バリエーション
DeepSeek-R1
8 バリエーション
Janus
3 バリエーション
DeepSeek-R1-0528
1 バリエーション
DeepSeek-V3.1
1 バリエーション
DeepSeek-Prover-V2
2 バリエーション
DeepSeek-V3.2
1 バリエーション
家系図
現在のモデル: DeepSeekMath-V2