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

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-RLprimary · huggingface.co

/claim/clm_9B5CE41C2235.md/v1/claims/clm_9B5CE41C2235timelinesubmit a correction