# DeepSeek Prover V1.5 SFT

DeepSeek Prover V1.5 SFT 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-SFT
- Sighting: 2026-09-30T15:57:39.673Z
  - [evidence link](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-SFT)
- Status: Released
- Weights version: 2024-08-15
  - [evidence link](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1.5-SFT/paths-info/e9a6e6fbb67620d4e9c4944bc51ff7c435af12da)
- Canonical: https://alexgetman.com/models/deepseek/deepseek-prover-v1-5-sft/

## Questions

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

Yes. DeepSeek publishes the weights.

### When was DeepSeek Prover V1.5 SFT 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-SFT/paths-info/e9a6e6fbb67620d4e9c4944bc51ff7c435af12da)
- [huggingface:deepseek-ai](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-SFT)

## Signals