华人女孩,代表美国队拿IOAI金牌,高中个人发IEEE期刊论文,录取MIT

华人女孩,代表美国队拿IOAI金牌,高中个人发IEEE期刊论文,录取MIT

本文核心观点
《IEEE Access》2022年第10卷,132472页起,一篇讲比特币的论文。作者一栏只有一个名字,署的单位是北卡罗来纳州夏洛特的一所中学。

华人女孩,代表美国队拿IOAI金牌,高中个人发IEEE期刊论文,录取MIT

科技少年 | 感受他们的好奇与热爱

IEEE Access》2022年第10卷,132472页起,一篇讲比特币的论文。作者一栏只有一个名字,署的单位是北卡罗来纳州夏洛特的一所中学。

写论文的人叫Angelina Quan,那年她读11年级

她那篇论文,讲比特币怎么防住量子计算机

比特币现在用的签名算法叫ECDSA,量子计算机一旦成熟,这套签名就守不住了。替代方案业内已经选好,是美国国家标准与技术研究院定下的CRYSTALS-Dilithium,抗量子,代价是签名大了很多。真换上去,比特币每个区块能装的交易会从2759笔掉到159笔,效率掉17倍

她做的事是把这个代价压下来。换一套基于格的聚合签名,配上STARK协议,效率的损失从17倍压到3倍。论文里有完整的安全性证明,也有能跑起来的Python实现。这篇论文已经被引用15次。

同一年,她还做了个靠学习赚钱的App

2022年,她拿下国会App挑战赛北卡罗来纳州第10选区的冠军。作品叫Habit Cash:你完成一段学习时间,就能赚到真的钱,配一套成就系统和一个一起学的社区,里面流通的Habitcoins建在区块链上。她写在获奖介绍里的话是:

"用了Habit Cash,学习就没那么难受了,还能拿到成就,还有一群人陪你一起学。"

12年级,她转去做以太坊

以太坊为了扩容用零知识证明,眼下主流的那种叫zk-SNARK,有个绕不开的麻烦:启动前得办一场"可信初始化仪式",一组人拿着敏感参数生成公共密钥,办完必须把各自手里的秘密销毁。只要有一个人没销毁,整个系统就留了后门。

她写了一套算法叫LUMEN,生成的零知识证明不需要这场仪式,体积还比现有的同类方案小。完整性、可靠性、零知识三项性质她都给了数学证明,实现部分写了大约8000行Rust和Python代码。带她做这个项目的是北卡罗来纳大学夏洛特分校的Yongge Wang教授。

2024年5月,洛杉矶,她带着LUMEN去了ISEF,全球规模最大的中学生科研竞赛,拿到数学类三等奖。同一个项目也让她进了Regeneron科学天才奖的前300名。北卡罗来纳大学夏洛特分校的校刊报道这件事时,她这样讲那位教授:

"王教授的指导,对我这个密码学项目的推进和最后的结果都起了关键作用。"

2024年8月,第一届IOAI,她在美国一队

那个月,第一届国际人工智能奥林匹克在海滨城市布尔加斯开赛。数学、物理、信息学都有自己的国际奥赛,AI这一个到2024年才办起来。中国这边的选拔叫NOAI,美国那边叫USAAIO,那一届美国送出两支队。

比赛分两条赛道,各自评奖。科学赛道四人一队按队记分,考自然语言处理、机器学习和计算机视觉;实践赛道给的是一道限时题,四个小时内用AI工具为一首混音做出整套视觉。Angelina Quan在美国一队,拿下实践赛道金牌。

她的底子是数学。USAMO晋级者,两次AIME成绩进前1%,还打过国际数学建模挑战赛。她自己在官方选手简历里写的是,从初中起就着迷于数学的优雅和逻辑,先是竞赛,然后是数学建模,再往后才是AI。高中最后那段时间,她在做一套用几何自监督学习查供应链网络安全漏洞的AI框架。

现在她在MIT,这个夏天去了OpenAI

2024年秋天,她入学MIT,读计算机科学和数学。个人主页上她这样介绍自己:

"说来像是上辈子的事了:我打过美国数学奥林匹克,在国际人工智能奥林匹克拿过一块金牌。"

她现在想做能自己动手干活的AI,用的是计算机视觉和强化学习。亚马逊云和AI编程工具Cursor的软件工程实习她都做过,2026年这个夏天在OpenAI实习。她说自己平时在攀岩馆,或者琢磨哲学,或者到处找好吃的。

2026年2月,斯坦福的TreeHacks,全美规模最大的大学生黑客松。她和三个人组队做了个叫Edamame的东西:给公司每个员工造一个AI分身,把Slack、Gmail、GitHub、Notion这些都接进去,你用说的或者打字问它,它答完还给你标出处。这个项目拿下了硅谷老牌风投Greylock设的最佳多轮对话智能体奖。

队里另外两个人叫Ella Lan和Videet Mehta。2024年8月的IOAI,他们是队友。

微信二维码

扫码备注【NOAI】加交流群