"Сэр, Deepseek только что выпустил DeepSeek-Math-v2, и он обходит Gemini DeepThink на IMO ProofBench и CNML"