"先生,Deepseek 剛剛推出了 DeepSeek-Math-v2,並且在 IMO ProofBench 和 CNML 上超越了 Gemini DeepThink"