Post by Zhihong Shao on X
Zhihong Shao@zhs05232838
XWe 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).
Github: t.co

664 likes29 repliesPosted Nov 27, 2025