# DeepSeek Prover V1.5 RL

DeepSeek Prover V1.5 RL é um modelo de DeepSeek com pesos abertos, registrado pela primeira vez em 2026-09-30; sua data de lançamento não está confirmada.

- Desenvolvedor: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1.5-RL
- Detecção: 2026-09-30T15:57:39.673Z
  - [link de referência](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL)
- Status: Lançado
- Versão dos pesos: 2024-08-15
  - [link de referência](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1.5-RL/paths-info/40a760138c68038d9869a436077c16b654b1cc72)
- Canônico: https://alexgetman.com/pt/models/deepseek/deepseek-prover-v1-5-rl/

## Perguntas

### O DeepSeek Prover V1.5 RL tem pesos abertos?

Sim. DeepSeek disponibiliza os pesos.

### Quando o DeepSeek Prover V1.5 RL foi lançado?

A data de lançamento não está confirmada. O Signal Forge registrou o modelo pela primeira vez em 2026-09-30.

## Links de referência

- [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)

## Sinais