DeepSeek Prover V2 (free) AIモデルの詳細情報と価格を確認してください
コンテキスト 長さ 163,840 トークン、 deepseek から 提供
163,840
コンテキストトークン
無料
プロンプト価格
無料
出力価格
9/16
機能サポート
モデル紹介
DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from [DeepSeek-Prover-V1.5](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL) Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.
基本情報
開発者
deepseek
モデルシリーズ
DeepSeek
リリース日
2025-04-30
コンテキスト長
163,840 トークン
バリアント
free
価格情報
このモデルは無料で使用できます
データポリシー
利用規約
학습 정책
1
サポート機能
サポート済み (9)
Top K
シード
頻度ペナルティ
Presence Penalty
繰り返しペナルティ
Min P
Logitバイアス
Logprobs
Top Logprobs
未対応 (7)
画像入力
レスポンス形式
ツール使用
構造化出力
推論
Web検索オプション
Top A
その他のバリエーション
実際の使用量統計
#90
全346個のモデル中
5.3B
過去30日間の総トークン数
175.20M
1日平均使用量
2%
週間使用量変化