Skip to content
  • Status
  • Announcements
  • Docs
  • Support
  • About
  • Partners
  • Enterprise
  • Careers
  • Pricing
  • Privacy
  • Terms
  •  
    • © 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.

    Recent activity on DeepSeek Prover V2

    Total usage per day on OpenRouter

    Prompt
    3.72M
    Completion
    391K

    Prompt tokens measure input size. Reasoning tokens show internal thinking before a response. Completion tokens reflect total output length.