# DeepSeek Prover V1.5 Base

DeepSeek Prover V1.5 Base is a model from DeepSeek with open weights, first recorded on 30 Sep 2026; its release date is not established.

- Developer: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1.5-Base
- Sighting: 2026-09-30T15:57:39.673Z
  - [evidence link](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base)
- Status: Released
- Weights version: 2024-08-15
  - [evidence link](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1.5-Base/paths-info/0b260a2db7a4f491c9e412e4f0ccf5c34947a067)
- Canonical: https://alexgetman.com/models/deepseek/deepseek-prover-v1-5-base/

## Questions

### Are the weights of DeepSeek Prover V1.5 Base publicly available?

Yes. DeepSeek publishes the weights.

### When was DeepSeek Prover V1.5 Base released?

Its release date is not established. Signal Forge first recorded it on 30 Sep 2026.

## Evidence links

- [hf-author-artifacts:deepseek-ai](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1.5-Base/paths-info/0b260a2db7a4f491c9e412e4f0ccf5c34947a067)
- [huggingface:deepseek-ai](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base)

## Signals