DeepSeek-Prover-V2
DeepSeek-Prover-V2
模型参数
6710.0
上下文长度
128K
中文支持
支持
推理能力
模型基本信息
推理过程
不支持
上下文长度
128K tokens
最大输出长度
65536 tokens
模型类型
暂无数据
发布时间
2025-04-30
模型文件大小
1342GB
推理模式
暂无模式数据
开源和体验地址
官方介绍与博客
官方论文
暂无官方论文
DataLearnerAI博客
API接口信息
接口速度
2/5
暂无公开的 API 定价信息。
评测得分
当前尚无可展示的评测数据。
发布机构
DeepSeek-AI
查看发布机构详情 模型解读
DeepSeek-Prover-V2是DeepSeekAI最新开源的大模型。根据猜测，这是一个可以用来帮助研究者做数学推理的大模型。