DeepSeek publishes DeepSeekMath-V2 with self-verifiable reasoning
Built on DeepSeek-V3.2's base and released under Apache 2.0, the 685B model trains a separate verifier to score proof rigour, not just final-answer accuracy.
Open weights & ecosystem · Models & capabilities · Benchmarks & progress