阿里全球数赛公布决赛名单 AI被淘汰 学服装设计的17岁中专女生 闯进全球数学竞赛12强！