"Sir, Deepseek hat gerade DeepSeek-Math-v2 veröffentlicht und es schlägt Gemini DeepThink auf IMO ProofBench und CNML"