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%
周使用量变化