Latest AI Insights

Model Evaluations

Model Directory

Model Comparison

Resource Center

Search blog

加载中...

DataLearner AI

A knowledge platform focused on LLM benchmarking, datasets, and practical instruction with continuously updated capability maps.

产品

Leaderboards
模型对比
Datasets

资源

Tutorials
Editorial
Tool directory

关于

关于我们
隐私政策
数据收集方法
联系我们

© 2026 DataLearner AI. DataLearner curates industry data and case studies so researchers, enterprises, and developers can rely on trustworthy intelligence.

隐私政策服务条款

DeepSeek-Prover-V2 - AI Model Details and Benchmarks | DataLearnerAI

Page navigation

目录

Model catalogDeepSeek-Prover-V2

DE

DeepSeek-Prover-V2

DeepSeek-Prover-V2

Release date: 2025-04-30更新于: 2025-04-30 22:07:24717

Live demoGitHubHugging Face Compare

Parameters

6710.0亿

Context length

128K

Chinese support

Supported

Reasoning ability

Data sourced primarily from official releases (GitHub, Hugging Face, papers), then benchmark leaderboards, then third-party evaluators. Learn about our data methodology

DeepSeek-Prover-V2

Model basics

Reasoning traces

Not supported

Thinking modes

Thinking modes not supported

Context length

128K tokens

Max output length

65536 tokens

Model type

DeepSeek-Prover-V2

Open source & experience

Code license

Weights license

Apache 2.0- 免费商用授权

GitHub repo

GitHub link unavailable

Hugging Face

https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B

Live demo

DeepSeek-Prover-V2

Official resources

Paper

No paper available

DataLearnerAI blog

DeepSeekAI开源第二代数学理论证明大模型DeepSeek-Prover-V2：让AI帮助数学家证明数学理论！

DeepSeek-Prover-V2

API details

API speed

2/5

No public API pricing yet.

DeepSeek-Prover-V2

Benchmark Results

No benchmark data to show.

DeepSeek-Prover-V2

Publisher

DeepSeek-AI

View publisher details

DeepSeek-Prover-V2

Model Overview

DeepSeek-Prover-V2是DeepSeekAI最新开源的大模型。根据猜测，这是一个可以用来帮助研究者做数学推理的大模型。

DataLearner 官方微信

欢迎关注 DataLearner 官方微信，获得最新 AI 技术推送

DataLearner 官方微信二维码

基础大模型

Release date

2025-04-30

Model file size

1342GB

MoE architecture

No

Total params / Active params

6710.0B / N/A

Knowledge cutoff

No data

No live demo