DE
DeepSeek-Prover-V2
Release date: 2025-04-30Updated: 2025-04-30Views: 788
Parameters
671B
Context length
128K
Multilingual
Supported
Reasoning ability
4/5
DeepSeek-Prover-V2 is an AI model published by DeepSeek-AI, released on 2025-04-30, for Foundation model, with 671B parameters, and 128K context length, requiring about 1342GB storage.
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
No data
Thinking modes
Thinking modes not supported
Context length
128K tokens
Max output length
64K tokens
Model type
Foundation model
Modality (in / out)
Text → Text
Release date
2025-04-30
Model file size
1342GB
MoE architecture
No
Total params / Active params
671B / Not applicable
Knowledge cutoff
No data
DeepSeek-Prover-V2
Open source & experience
Code license
Weights license
Apache 2.0- Commercial use permitted
GitHub repo
N/A
Hugging Face
Live demo
N/A
DeepSeek-Prover-V2
Official resources
Paper
N/A
DataLearnerAI blog
DeepSeek-Prover-V2
API details
API speed
2/5
No public API pricing yet.
DeepSeek-Prover-V2
Publisher
DeepSeek-AI
View publisher details DeepSeek-Prover-V2
Model Overview
DeepSeek-Prover-V2 is an AI model published by DeepSeek-AI, released on 2025-04-30, for Foundation model, with 671B parameters, and 128K context length, requiring about 1342GB storage.
DataLearner on WeChat
Follow DataLearner on WeChat for AI model updates and research notes.
