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