# DeepSeek Prover V1

DeepSeek Prover V1 este un model de la DeepSeek cu ponderi deschise, înregistrat pentru prima dată la data de 2026-09-30; data lansării nu este stabilită.

- Dezvoltator: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- Detectare: 2026-09-30T15:57:39.673Z
  - [link către dovezi](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- Stare: Lansat
- Versiunea ponderilor: 2024-08-16
  - [link către dovezi](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- Adresă canonică: https://alexgetman.com/ro/models/deepseek/deepseek-prover-v1/

## Întrebări

### Ponderile modelului DeepSeek Prover V1 sunt disponibile public?

Da. DeepSeek publică ponderile modelului.

### Când a fost lansat DeepSeek Prover V1?

Data lansării nu este stabilită. Signal Forge l-a înregistrat pentru prima dată la data de 2026-09-30.

## Linkuri către dovezi

- [hf-author-artifacts:deepseek-ai](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- [huggingface:deepseek-ai](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)

## Semnale

