17岁中专女孩坚持课余时间自学，以全球12名入围数学竞赛决赛