根据搜索结果，获得国际奥数金牌的女生主要有以下两位：
陈卓 - 成就：
2009年15岁，陈卓以优异表现获得第49届国际奥林匹克数学竞赛（IMO）金牌，成为我国首位国际奥数金牌女选手，也是13年来首位摘得该奖项的中国学生。
吴小璇
- 成就： 2019年，吴小璇成为中国第一位奥运会金牌女运动员，但她的成就属于田径项目，与数学奥数无关。
补充说明：
姜萍在2024年阿里全球奥数比赛中获得第12名，但未获得金牌。- 其他搜索结果中提到的刘奔、张天一、张鑫亮等人均为男性，且未获得奥数金牌。若问题特指国际奥数金牌，答案以陈卓为主。