DeepSeek Prover V2 查看AI模型的详细信息和价格

上下文 长度 131,072 令牌, deepseek 来自 提供

131,072
上下文令牌
$0.50
提示价格
$2.18
输出价格
1/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
上下文长度
131,072 令牌
变体
standard

价格信息

提示令牌
$0.50 / 1M 令牌
完成令牌
$2.18 / 1M 令牌

数据政策

支持功能

支持 (1)

种子

不支持 (15)

图像输入
Top K
频率惩罚
存在惩罚
重复惩罚
响应格式
Min P
Logit偏置
工具使用
Logprobs
Top Logprobs
结构化输出
推理
网络搜索选项
Top A

其他变体

实际使用量统计

#152
总共 346 个模型中
955.65M
最近30天总Token数
31.86M
日均使用量
14%
周使用量变化

最近30天使用量趋势

同作者模型 (deepseek)

R1 Distill Qwen 7B
131,072 令牌
$0.10 / $0.20
Deepseek R1 0528 Qwen3 8B (free)
131,072 令牌
免费
Deepseek R1 0528 Qwen3 8B
131,072 令牌
$0.05 / $0.10
R1 0528 (free)
163,840 令牌
免费
R1 0528
128,000 令牌
$0.50 / $2.15

相似价位模型

R1 0528
deepseek
128,000 令牌
$0.50 / $2.15
MiniMax M1 (extended)
minimax
128,000 令牌
$0.55 / $2.20
R1
deepseek
128,000 令牌
$0.45 / $2.15
Mistral Medium 3
mistralai
32,768 令牌
$0.40 / $2.00
Llama 3.1 Nemotron Ultra 253B v1
nvidia
131,072 令牌
$0.60 / $1.80