Skip to content
/
OpenRouter
© 2026 OpenRouter, Inc

Product

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

Company

  • About
  • Announcements
  • 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.

Modalities

Context

164K

Knowledge Cutoff

Mar 31, 2025

Activity

Recent activity on DeepSeek Prover V2

Total usage per day on OpenRouter

Not enough data to display yet.