Smi winners 2022. 夏語遙synthesizer v ai. 亚洲国际数学奥林匹克公开赛2025. コロンブス 西回り航路 理由.