DeepSeek Prover V1.5 RL
DeepSeek
Timeline
- · Weights version · evidence link
Specifications
DeepSeek Prover V1.5 RL is a model from DeepSeek with open weights, first recorded on 30 Sep 2026; its release date is not established.
- Weights
- Open
Questions
Are the weights of DeepSeek Prover V1.5 RL publicly available?
Yes. DeepSeek publishes the weights.
When was DeepSeek Prover V1.5 RL released?
Its release date is not established. Signal Forge first recorded it on 30 Sep 2026.