"Mijnheer, Deepseek heeft zojuist DeepSeek-Math-v2 uitgebracht en het verslaat Gemini DeepThink op IMO ProofBench en CNML"