DeepSeek-Prover-V2-671B

Model facts

Hub id

deepseek-ai/DeepSeek-Prover-V2-671B

Likes

845

Downloads (last 30 days)

1,050

Task

Text generation

Library

transformers

Parameters

685B (684,531,386,000)

License

No license given

Access

Open download

Author

deepseek-ai · Organization

Languages

Not given

Created

Apr 30, 2025

Last modified

Apr 30, 2025

Rank #459 of 4,320 models in AI on Hugging Face, by likes. Data from the Hugging Face Hub API, fetched Oct 18, 2026. Likes measure popularity, not quality or safety. Downloads are for the last 30 days, as the Hub reports them; counts change daily. A listing is not an endorsement. How this list is made

More models from deepseek-ai

• 3

  Rank 3: deepseek-ai/DeepSeek-R1

  14,392 likes1,310,380 downloads in the last 30 daysText generation684B parametersMIT

• 18

  Rank 18: deepseek-ai/DeepSeek-V4-Pro

  5,677 likes367,717 downloads in the last 30 daysText generation1.6T parametersMIT

• 30

  Rank 30: deepseek-ai/DeepSeek-V4.1-Flash

  4,631 likes1,316,711 downloads in the last 30 daysImage and text to text763B parametersMIT

• 34

  Rank 34: deepseek-ai/DeepSeek-V3

  4,450 likes1,392,181 downloads in the last 30 daysText generation685B parametersNo license given

• 40

  Rank 40: deepseek-ai/DeepSeek-V4-Flash-0731

  4,085 likes4,244,997 downloads in the last 30 daysText generation304B parametersMIT

• 46

  Rank 46: deepseek-ai/Janus-Pro-7B

  3,715 likes10,433 downloads in the last 30 daysAny to anyMIT