Chinese startup #Deepseek’s new #DeepseekMathV2 model achieved #goldmedal-level results at the International Mathematical Olympiad (#IMO) 2025 and the Chinese #CMO 2024. The model uses a #multistageprocess with a “verifier” and “meta-verifier” to evaluate and refine its own solutions, achieving…