"Herra, Deepseek juuri julkaisi DeepSeek-Math-v2:n ja se voittaa Gemini DeepThinkin IMO ProofBenchissä ja CNML:ssä"