"Sir, Deepseek slapp nettopp DeepSeek-Math-v2 og det slår Gemini DeepThink på IMO ProofBench og CNML"