DeepSeek-Prover-V2
基础大模型DeepSeek-Prover-V2
发布时间: 2025-04-30
模型参数（Parameters）
6710.0
最高上下文长度（Context Length）
128K
是否支持中文
支持
推理能力（Reasoning）
模型基本信息
是否支持推理过程
不支持
最高上下文输入长度
128K tokens
最长输出结果
65536 tokens
模型类型
基础大模型
发布时间
2025-04-30
模型预文件大小
1342GB
开源和体验地址
官方介绍与博客
API接口信息
接口速度（满分5分）
接口价格
输入价格:
- 文本:
- 图片:
- 音频:
- 视频:
- Embedding:
输出价格:
- 文本:
- 图片:
- 音频:
- 视频:
- Embedding:
输入支持的模态
文本
输入支持
图片
输入不支持
视频
输入不支持
音频
输入不支持
Embedding（向量）
输入不支持
输出支持的模态
文本
输出支持
图片
输出不支持
视频
输出不支持
音频
输出不支持
Embedding（向量）
输出不支持
DeepSeek-Prover-V2模型在各大评测榜单的评分
发布机构
DeepSeek-AI
查看发布机构详情
模型介绍
DeepSeek-Prover-V2是DeepSeekAI最新开源的大模型。根据猜测，这是一个可以用来帮助研究者做数学推理的大模型。
关注DataLearnerAI公众号
关注DataLearnerAI微信公众号，接受最新大模型资讯
