DeepSeek · model_releasedeepseek-ai/DeepSeek-Prover-V2-671B

valid_from

2025-04-30

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-V2-671Bprimary · huggingface.co

/claim/clm_71CDB5FBB5E8.md/v1/claims/clm_71CDB5FBB5E8timelinesubmit a correction