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
種子
頻率懲罰
存在懲罰
重複懲罰
Min P
Logit偏置
Logprobs
Top Logprobs
不支援 (7)
圖像輸入
回應格式
工具使用
結構化輸出
推理
網路搜尋選項
Top A
其他變體
實際使用量統計
#90
總共 346 個模型中
5.3B
最近30天總Token數
175.20M
日均使用量
2%
週使用量變化