DeepSeek-Prover
ファインチューニングofficialtheorem-provinglean4formal-verification
DeepSeek AIの定理証明器。2024年8月15日公開（V1.5）。Lean 4形式言語による数学定理の自動証明に特化。7Bパラメータで高度な形式証明能力を実現。
技術仕様
アーキテクチャ
Specialized for Lean 4 theorem proving
パラメータバリエーション
関連モデル
DeepSeek-LLM
4 バリエーション
DeepSeek-Coder
7 バリエーション
DeepSeekMoE
2 バリエーション
DeepSeek-Math
3 バリエーション
DeepSeek-VL
2 バリエーション
DeepSeek-V2
4 バリエーション
DeepSeek-Coder-V2
4 バリエーション
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 バリエーション
DeepSeekMath-V2
1 バリエーション
DeepSeek-V3.2
1 バリエーション
家系図
現在のモデル: DeepSeek-Prover