"Tuan, Deepseek baru saja menjatuhkan DeepSeek-Math-v2 dan mengalahkan Gemini DeepThink di IMO ProofBench dan CNML"