「サー、DeepseekがDeepSeek-Math-v2をリリースしましたが、IMO ProofBenchとCNMLのGemini DeepThinkを上回っています」