DE
DeepSeek-Prover-V2
Release date: 2025-04-30Updated: 2025-04-30 22:07:24776
Parameters
671B
Context length
128K
Chinese support
Supported
Reasoning ability
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
Not supported
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 / N/A
Knowledge cutoff
No data
DeepSeek-Prover-V2
Open source & experience
Code license
Weights license
Apache 2.0- Commercial use permitted
GitHub repo
GitHub link unavailable
Live demo
No live demo
DeepSeek-Prover-V2
Official resources
Paper
No paper available
DataLearnerAI blog
DeepSeek-Prover-V2
API details
API speed
2/5
No public API pricing yet.
DeepSeek-Prover-V2
Benchmark Results
No benchmark data to show.
Compare with other models
No curated comparisons for this model yet.
Want a custom combination? Open the compare tool
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.
