夜雨聆风
活跃在AI领域中的华人天才少女
你打开这篇文章，大概是因为某个热搜词：“天才少女”。
这个词，她们中的至少一个，已经公开说过自己讨厌它。
但在我们讲”讨厌”之前，先得把事实摆出来——
事实 01
一个25岁的广州女孩，0产品0用户，拿到3亿美元估值；再过一年半，估值变成16亿美元。
事实 02
一个四川农村来的姑娘，读研二时，一年在ACL发表8篇论文，接着参与了震惊全球的DeepSeek。
事实 03
一个杭州女孩，创业6个月，就让大半个硅谷争着给她送钱，她爸的公司股价跟着连涨8个涨停板。
事实 04
一个湖南女孩，在竞赛圈留下以自己名字命名的算法，如今论文被引用超7万次，刚刚加入一家估值120亿美元的公司。
好，现在我们可以讨论”天才”这个词了。
广州 · 2001年生
洪乐潼
Axiom Math · CEO · 数学博士肄业
传奇数学家小野健，放弃了大学终身教职，去给一个24岁的前学生打工。
先说小野健这件事，因为它比洪乐潼自己的故事更能说明问题。
小野健是当代最顶尖的数论学者，被誉为”最懂拉马努金的人”，拿奖拿到手软，在弗吉尼亚大学有终身教职。这种人，一般会在书斋里待到退休。
但他辞职了。去了一家刚成立一年多的创业公司，职位是”创始数学家”。老板是他的前学生——洪乐潼，当时24岁。
要理解这件事的分量，你得先知道洪乐潼是谁。
14岁
在草稿纸边角写下”MIT”，这是她给自己的第一个承诺。
17岁
MIT录取通知书到手，数学+物理双专业，同学大多都有奥赛人脉，而她，是家里第一个上大学的人。
20岁
用3年完成双学位，发表9篇顶级论文，拿下全美女性数学第一奖Schafer Prize，拿下北美本科数学最高荣誉Morgan Prize，再拿下罗德奖学金——全球当年4个中国名额之一。
22岁
拿着罗德奖学金去牛津读神经科学，同期在伦敦大学学院研究AI与机器学习。
23岁 → 现在
斯坦福数学+法学双博士，读了不到一年，退学了。创办Axiom Math，让AI像数学家一样做严格证明。2026年3月A轮融资2亿美元，估值16亿美元。
她发现了一件让她无法忍受的事
AI模型在数学考试里能拿96分。但你要求它展示证明过程——得分变成5分。这不是”答错了”，这是”根本不会”。她的公司，就是为了解决这件事而存在的。
2025年12月，Axiom的系统用1天和5小时，自主证明了两道数学界积累多年的开放难题——埃尔德什问题#124和#481。没有人工干预。AI自己干的。
AMD CEO苏姿丰曾给她一句话。洪乐潼说，她一直记着：“朝着最困难的问题前进。”
四川宜宾 · 1995年生
罗福莉
DeepSeek核心研发 · 小米AI大模型负责人
她自称”低起点者”，大一期末成绩垫底。后来她用一年时间发了8篇ACL顶会论文，雷军亲自挖角，年薪据说千万。
罗福莉的故事里，最有意思的不是她最终去了哪——而是她差点就不是这条路上的人。
四川宜宾，一个普通村子。父亲是电工，母亲是教师，妹妹后来成了医生。小时候，村里一个退休老人开了农村书屋，免费给孩子们读书用。那是罗福莉口中的”第二课堂”。她说，”小时候以为世界只有村子大，直到书带我去了更远的地方。”
2013年，她考上北师大计算机专业。她没接触过计算机，完全是”误打误撞”。大一期末，成绩靠后。她父母当年说过的话，她记得很清楚：“你一个女生去修电脑，无论从学历还是性别上都不具备优势。”
转折点
大二她才开始发力，成绩从后面追进前5%，最终保研北大，进了计算语言学研究所。读研期间，她”从图书馆到宿舍”，二点一线，把自己”深深扎根在学术研究中”。大四时，她还被人说过：”你没有天赋做科研。”
2019年，研二。她在ACL上发表了8篇论文，其中2篇是第一作者。ACL是NLP领域全球最顶级的会议，录取率25%不到。一年8篇，学界都震了。
8
篇顶会论文 · 研二单年 · 第一作者两篇
之后的路，一步比一步让人看不懂——毕业不读博，去了阿里达摩院。主导开发的VECO模型，日均调用50亿次，活跃场景200多个。然后跳去量化私募幻方，转入子公司DeepSeek，参与研发了让整个AI圈都重新估算成本的DeepSeek-V2。那个模型的价格，是GPT-4的1/100。
2025年，DeepSeek爆火。世界才发现她的名字。然后是各种传言：雷军亲自下场挖人，千万年薪，担任小米AI大模型负责人。
她本人的回应，是发了一条朋友圈驳斥”天才少女”的说法。
“捧得多高，摔得多重。我只想安安静静做难而正确的事情。”
——罗福莉，2025年
2025年11月，她在朋友圈正式官宣加入小米MiMo团队。那条状态的最后一句话是：“全力奔赴我们心目中的AGI。”
杭州 · 1998年生
郭文景
Pika Labs CEO · 哈佛 + 斯坦福 · AI视频
她参加AI电影节，没得奖，很沮丧。然后她创业了，6个月后，大半个硅谷在抢着给她送钱。
如果你在2015年的杭州二中认识郭文景，你看到的，是一个不太”乖”的女生。
她不像其他女同学在阅览室刷题。她在忙辩论社，飞上海参加英文辩论赛，15岁独自飞去美国教美国孩子奥数，赚了2000美元带回来。她的校长后来说，郭文景”知道自己要什么，也知道自己要面对什么”。
她的竞赛履历
哈佛读出数学+计算机双学位，在Meta AI Research、微软、谷歌大脑都实习过，然后去了斯坦福读AI博士。
然后，2022年寒假，她参加了一个AI电影节。
她的团队技术实力是最强的，但没得奖。当时最好的AI生成工具Runway和Adobe PS，用起来让她”非常沮丧”。她后来说：“它看起来并不那么好，我真的很沮丧。”
2023年4月，她和斯坦福同学从博士项目退学，创立了Pika。
成立后
6个月
60万
用户
6个月
$2亿
估值
1年
$5亿
估值
副作用
8连板
她爸公司的股票
投资人名单，读起来像是在念硅谷花名册：前GitHub CEO、Karpathy、Quora创始人……她说过一句话，到现在还很准：“我做的是一家公司，我一定是很开放的，什么能达到下一个milestone，我就做什么。”
湖南长沙 · 1990年生
陈丹琦
NLP学术领袖 · Thinking Machines Lab
算法竞赛圈里有一个以人名命名的算法，叫”CDQ分治”。CDQ，是她名字的首字母。
在这四个人里，陈丹琦是那个走”学术正路”最远的——也是那个在全球AI体系里，基础影响力渗透最深的。
2008年，18岁的她代表中国队参加第20届IOI，拿到金牌，保送清华姚班。姚班是什么？是中国最顶级的计算机本科项目，由图灵奖得主姚期智创立，专门培养具有世界一流水平的计算机科学家。
那个被命名为CDQ分治的算法，是她在竞赛中提出的。这件事在计算机竞赛圈的地位，大概等同于一个运动员在奥运上创造了一个以自己命名的技术动作——然后全世界所有练这个项目的人，都要学这个动作。
斯坦福时期
与导师Manning共同开发的算法，成为谷歌SyntaxNet核心——”全球最精准自然语言解析器”。她的博士论文，获得斯坦福Arthur Samuel最佳博士论文奖。
普林斯顿时期
担任NLP组共同负责人、语言与智能中心副主任。两次获ACL最佳论文奖，2022年斯隆研究奖（被称为”诺奖风向标”）。论文总引用次数超过7万次。参与RoBERTa，该论文单篇引用超3.6万次。
2025年之后
离开普林斯顿，加入前OpenAI CTO Mira Murati创办的Thinking Machines Lab——成立5个月，完成了史上最大种子轮融资，20亿美元，估值120亿美元。
NLP领域的泰斗Dan Jurafsky曾这样评价她：“她在发现重要的研究问题上很有品位。她已经对该领域产生了非凡的影响，并且她的影响只会越来越大。”
最后，我们来谈谈“天才少女”这个词。
这四个人里，至少有两个明确表示过不喜欢被这样叫。
罗福莉说：捧得多高，摔得多重。陈丹琦说：我希望女生心目中认为这（性别）不是一个问题，你不需要去想这个事情。
我理解这种抗拒。”天才少女”这个标签，把复杂的东西简单化了——它把一个人10年的刻苦、几十次失败、无数次在自我怀疑中撑过去的夜晚，一次性变成了三个字。
但有另一面也是真实的：在这个领域，她们确实是少数。她们的出现，本身就是一件值得被看见的事。
所以，与其叫她们”天才少女”
不如叫她们：做难而正确的事的人。
洪乐潼 · 罗福莉 · 郭文景 · 陈丹琦
数据整理截至2026年4月 · 基于公开资料