标签:谷歌DeepMind凭借Gemini模型在IMO中的出色表现