"Panie, Deepseek właśnie wypuścił DeepSeek-Math-v2 i przewyższa Gemini DeepThink w IMO ProofBench i CNML"