# DeepSeek Prover V1.5 RL

DeepSeek Prover V1.5 RL est un modèle de DeepSeek à poids ouverts, répertorié pour la première fois le 2026-09-30 ; sa date de sortie n'est pas confirmée.

- Éditeur: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1.5-RL
- Détection: 2026-09-30T15:57:39.673Z
  - [lien de référence](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL)
- Statut: Disponible
- Version des poids: 2024-08-15
  - [lien de référence](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1.5-RL/paths-info/40a760138c68038d9869a436077c16b654b1cc72)
- Canonique: https://alexgetman.com/fr/models/deepseek/deepseek-prover-v1-5-rl/

## Questions

### Les poids de DeepSeek Prover V1.5 RL sont-ils ouverts ?

Oui. DeepSeek publie les poids.

### Quand DeepSeek Prover V1.5 RL est-il sorti ?

La date de sortie n'est pas confirmée. Signal Forge a répertorié le modèle pour la première fois le 2026-09-30.

## Liens de référence

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

## Signaux