DeepSeek just released DeepSeek-Math-V2! DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning It shows LLMs can now self-verify proofs, not just output solutions. DeepSeekMath-V2 achieves gold-level IMO 2025, CMO 2024, and 118/120 Putnam 2024, pointing to a future of

→ View original post on X — @jiqizhixin,