# DeepSeek Prover V1.5 RL

DeepSeek Prover V1.5 RL adalah model AI dari DeepSeek dengan bobot terbuka, pertama kali dicatat pada 2026-09-30; tanggal rilisnya belum terkonfirmasi.

- Pengembang: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1.5-RL
- Penemuan: 2026-09-30T15:57:39.673Z
  - [tautan bukti](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL)
- Status: Dirilis
- Versi bobot: 2024-08-15
  - [tautan bukti](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1.5-RL/paths-info/40a760138c68038d9869a436077c16b654b1cc72)
- Alamat kanonis: https://alexgetman.com/id/models/deepseek/deepseek-prover-v1-5-rl/

## Pertanyaan

### Apakah bobot model DeepSeek Prover V1.5 RL tersedia untuk umum?

Ya. DeepSeek menerbitkan bobot model.

### Kapan DeepSeek Prover V1.5 RL dirilis?

Tanggal rilisnya belum terkonfirmasi. Signal Forge pertama kali mencatat model ini pada 2026-09-30.

## Tautan bukti

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

## Sinyal