"Señor, Deepseek acaba de lanzar DeepSeek-Math-v2 y supera a Gemini DeepThink en IMO ProofBench y CNML"