17岁中专女生姜萍闯入数学竞赛全球12强。北大“韦神”在2018年的首届比赛中获分析与微分方程金奖