# DeepSeek Prover V1

DeepSeek Prover V1 ialah model daripada DeepSeek dengan pemberat terbuka, pertama kali direkodkan pada 2026-09-30; tarikh keluarannya belum dipastikan.

- Pembangun: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- Pengesanan: 2026-09-30T15:57:39.673Z
  - [pautan bukti](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- Status: Dikeluarkan
- Versi pemberat: 2024-08-16
  - [pautan bukti](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- Kanonikal: https://alexgetman.com/ms/models/deepseek/deepseek-prover-v1/

## Soalan

### Adakah pemberat DeepSeek Prover V1 tersedia untuk umum?

Ya. DeepSeek menerbitkan pemberatnya.

### Bilakah DeepSeek Prover V1 dikeluarkan?

Tarikh keluarannya belum dipastikan. Signal Forge pertama kali merekodkannya pada 2026-09-30.

## Pautan bukti

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

## Isyarat