"Senhor, a Deepseek acaba de lançar o DeepSeek-Math-v2 e ele supera o Gemini DeepThink no IMO ProofBench e CNML"