# DeepSeek Prover V2 7B

DeepSeek Prover V2 7B is a model from DeepSeek with open weights, first recorded on 7 Oct 2026; its release date is not established.

- Developer: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V2-7B
- Sighting: 2026-10-07T19:44:50.592Z
  - [evidence link](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B)
- Status: Released
- Weights version: 2025-04-30
  - [evidence link](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V2-7B/paths-info/a8d9e14432b2e8dd9df2a4d4e70f1ba9bc8d9b7b)
- Canonical: https://alexgetman.com/models/deepseek/deepseek-prover-v2-7b/

## Questions

### Are the weights of DeepSeek Prover V2 7B publicly available?

Yes. DeepSeek publishes the weights.

### When was DeepSeek Prover V2 7B released?

Its release date is not established. Signal Forge first recorded it on 7 Oct 2026.

## Evidence links

- [hf-author-artifacts:deepseek-ai](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V2-7B/paths-info/a8d9e14432b2e8dd9df2a4d4e70f1ba9bc8d9b7b)
- [huggingface:deepseek-ai](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B)

## Signals