# DeepSeek Prover V1

DeepSeek Prover V1 is een AI-model van DeepSeek met open gewichten, voor het eerst vastgelegd op 2026-09-30; de releasedatum is niet bevestigd.

- Ontwikkelaar: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- Ontdekking: 2026-09-30T15:57:39.673Z
  - [bronlink](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- Status: Uitgebracht
- Gewichtsversie: 2024-08-16
  - [bronlink](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- Canoniek: https://alexgetman.com/nl/models/deepseek/deepseek-prover-v1/

## Vragen

### Zijn de gewichten van DeepSeek Prover V1 openbaar beschikbaar?

Ja. DeepSeek publiceert de modelgewichten.

### Wanneer werd DeepSeek Prover V1 uitgebracht?

De releasedatum is niet bevestigd. Signal Forge legde het model voor het eerst vast op 2026-09-30.

## Bronlinks

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

## Signalen