同进全球数学竞赛决赛的博士生曝比赛细节，称赞“姜萍厉害”“称得上奇迹”