{"schema":"postcutoff/model@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/m/deepseekmath-v2/","md":"https://postcutoff.com/m/deepseekmath-v2/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"deepseekmath-v2","name":"DeepSeekMath-V2","org":"DeepSeek","family":"DeepSeekMath","released":"2025-11-27","status":"current","type":"reasoning-llm","modality_in":["text"],"modality_out":["text"],"open_weights":true,"model_license":"apache-2.0","context_window":null,"max_output":null,"knowledge_cutoff":null,"pricing":null,"price_line":"Price not published","access":[{"provider":"Hugging Face","url":"https://huggingface.co/deepseek-ai/DeepSeek-Math-V2"}],"capabilities":[{"name":"Self-verifiable proof generation","detail":"Generator trained against an LLM proof verifier and meta-verifier; reached IMO 2025 / CMO 2024 gold level and 118/120 on Putnam 2024 with scaled test-time compute.","first":true,"discovered":"launch","source":"https://arxiv.org/abs/2511.22570"}],"entry":"2025-11-27-deepseekmath-v2","notes":"685B open-weights (Apache 2.0) math prover built on DeepSeek-V3.2-Exp-Base; inference uses the DeepSeek-V3.2-Exp code. No first-party API endpoint verified. 'first' = first open-weights model at IMO-gold level (per the paper's claims).","verified":"2026-09-29","body_md":"Download the weights from Hugging Face and serve them with the DeepSeek-V3.2-Exp inference stack. Source: https://huggingface.co/deepseek-ai/DeepSeek-Math-V2 · paper https://arxiv.org/abs/2511.22570","page_url":"https://postcutoff.com/m/deepseekmath-v2/","events_after":null,"major_after":null,"historic_after":null,"missing_at_launch":null,"events_since_release":1970,"you_url":"https://postcutoff.com/you/deepseekmath-v2/","briefings":null}