"Domnule, Deepseek tocmai a lansat DeepSeek-Math-v2 și îl depășește pe Gemini DeepThink pe IMO ProofBench și CNML"