DeepSeek · model_releasedeepseek-ai/DeepSeek-Prover-V1

valid_from

2024-08-16

valid_to

null (still holds)

confidence

0.90

superseded_by

null

first seen

2026-10-27

last updated

2026-10-27

Sources

• deepseek-ai/DeepSeek-Prover-V1primary · huggingface.co

/claim/clm_40955C0665C8.md/v1/claims/clm_40955C0665C8timelinesubmit a correction