# DeepSeek Prover V2 671B

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

## Questions

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

Yes. DeepSeek publishes the weights.

### When was DeepSeek Prover V2 671B 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-671B/paths-info/a51f899d0599838aa934b21b45b4c1ae7fbce2d3)
- [huggingface:deepseek-ai](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B)

## Signals