Skip to content
Alpha
  • Models
  • Rankings
  • Ori

Footer

OpenRouterOpenRouter
© 2026 OpenRouter, Inc

Product

  • Chat
  • Rankings
  • Benchmarks
  • Apps
  • Discover
  • Models
  • Ori
  • Collections
  • Providers
  • Tools
  • Pricing
  • Business
  • EU routing
  • Enterprise
  • Labs

Company

  • About
  • Blog
  • Careers
    Hiring
  • Privacy
  • Terms of Service
  • Trust Center
  • Support
  • Works With OR
  • Data
  • Brand

Developer

  • Documentation
  • API Reference
  • Developer Platform
  • Status
  • AI Site Map

Connect

  • Discord
  • GitHub
  • LinkedIn
  • X
  • YouTube
Favicon for deepseek

DeepSeek: DeepSeek Prover V2

deepseek/deepseek-prover-v2

Model weights

DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5Opens in new tab Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.

Modalities
Context
164K
Released
Apr 30, 2025
Knowledge Cutoff
Mar 2025
ActivityFAQExplore

Activity

Token volume and request traffic to this model over time.

Not currently available through EU in-region routing. In-region routing docs

Explore more models

AI Model RankingsRanking

Frequently asked questions

DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5 Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.

DeepSeek Prover V2 has a 163,840 token context window.

DeepSeek V4.1 Flash 1017, DeepSeek V4.1 Flash, DeepSeek V4 Flash Vision Exp and 10 more are other text models from DeepSeek.

DeepSeek Prover V2 was released on April 30, 2025. Its knowledge cutoff is March 31, 2025.