We just shared some thoughts and results on self-verifiable mathematical reasoning. The released model, DeepSeekMath-V2, is strong on IMO-ProofBench and competitions like IMO 2025 (5/6 problems) and Putnam 2024 (a near-perfect score of 118/120).
x.com/zhs05232838/status/1994063966566519237Posted Nov 28, 2025, 5:42 PM UTC
00