17岁中专女生姜萍闯进全球数学竞赛12强