Skip to content
No models found
OpenRouter
© 2026 OpenRouter, Inc

Product

  • Chat
  • Rankings
  • Apps
  • Models
  • Providers
  • Pricing
  • Enterprise
  • Labs

Company

  • About
  • Blog
  • CareersHiring
  • Privacy
  • Terms of Service
  • Support
  • State of AI
  • Works With OR
  • Data

Developer

  • Documentation
  • API Reference
  • SDK
  • Status

Connect

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

DeepSeek: DeepSeek Prover V2

deepseek/deepseek-prover-v2

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

Model weights

Modalities

Context

Avg

164K

Released

Apr 30, 2025

Knowledge Cutoff

Mar 2025

Activity

Activity

Token volume and request traffic to this model over time.