# DeepSeek Prover V1

DeepSeek Prover V1 to model AI od DeepSeek z otwartymi wagami, po raz pierwszy zarejestrowany 2026-09-30; data premiery nie jest potwierdzona.

- Twórca: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- Wykrycie: 2026-09-30T15:57:39.673Z
  - [odnośnik źródłowy](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- Stan: Wydano
- Wersja wag: 2024-08-16
  - [odnośnik źródłowy](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- Adres kanoniczny: https://alexgetman.com/pl/models/deepseek/deepseek-prover-v1/

## Pytania

### Czy wagi modelu DeepSeek Prover V1 są publicznie dostępne?

Tak. DeepSeek publikuje wagi modelu.

### Kiedy wydano DeepSeek Prover V1?

Data premiery nie jest potwierdzona. Signal Forge zarejestrował model po raz pierwszy 2026-09-30.

## Odnośniki źródłowe

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

## Sygnały