"Senhor, o Deepseek acabou de lançar o DeepSeek-Math-v2 e supera o Gemini DeepThink no meu opinião no ProofBench e no CNML"