DeepSeek · model_releasedeepseek-ai/DeepSeek-Prover-V1.5-Base

valid_from

2024-08-15

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-V1.5-Baseprimary · huggingface.co

/claim/clm_5CD1D5974B89.md/v1/claims/clm_5CD1D5974B89timelinesubmit a correction