奇迹说：那个曾帮美国“破解”中国北斗卫星的清华才女，她是谁？