王虹之前那个阿里巴巴推的数学天才中专生呢？好像叫姜萍吧？