当初帮美国“破解”我国北斗卫星的清华才女，如今过得舒服吗？