Skip to content
  1. Status
  2. Announcements
  3. Docs
  4. Support
  5. About
  6. Partners
  7. Enterprise
  8. Careers
  9. Pricing
  10. Privacy
  11. Terms
  12.  
    13. © 2025 OpenRouter, Inc

    DeepSeek: DeepSeek Prover V2

    deepseek/deepseek-prover-v2

    Created Apr 30, 2025163,840 context
    $0.50/M input tokens$2.18/M output tokens

    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.

    Performance for DeepSeek Prover V2

    Compare different providers across OpenRouter