5位年轻华人女性创办硅谷AI公司，合计估值超600亿元

文 | 新质动能

华人女孩，勇闯硅谷AI圈。

今年11月，两则消息先后在科技圈引发震动：由25岁广州女孩洪乐潼掌舵的AI数学公司Axiom，让AI把数学家写下的复杂证明，变成计算机能够检查的程序，让数学推理有了机器验证的可能；

另一边，据《福布斯》披露，AI保险初创公司Corgi最新估值飙升至50亿美元，约合人民币330亿元，联合创始人兼首席运营官Emily Yuan，是一位年仅23岁的华人女孩。

现在，有越来越多年轻的华人女性，正站上硅谷AI浪潮的中心。

马斯克旗下xAI离职创业的江西女孩盛颖，带领RadixArk拿下1亿美元种子轮融资；25岁的沈思琪把AI带进好莱坞，Utopai Studios估值突破10亿美元；杭州女孩郭文景，不仅靠AI视频生成工具Pika斩获超1亿美元融资，甚至引来了Meta的关注。

粗略算下来，这5位年轻女孩手握的AI公司，总估值已超过600亿元人民币。她们究竟是什么来头？

25岁广州女孩，让终身教授为她打工

现在的大模型看起来无所不能，但有个老毛病：总是有幻觉。25岁的洪乐潼，决定用数学解决这个问题。

11月4日，她创办的Axiom公布了一项新成果：团队调度AI智能体，在不到两个月的时间里写出约1575万行代码，将数学家约翰·德容联合650多位学者、耗时20年编写的代数几何参考书Stacks Project，转化成了计算机能够逐步验证的代码库。

这意味着，过去需要人工检查的复杂推导，如今可以交给AI来验证。这正是Axiom一直在做的事。

今年3月，Axiom完成2亿美元A轮融资，由Menlo Ventures领投，公司投后估值达到16亿美元，约合人民币110亿元。成立不到两年，Axiom便跻身独角兽行列。

这位2001年出生于广州的女孩，履历相当惊人。17岁考入麻省理工学院，三年修完数学与物理双学位，获得北美数学本科生最高荣誉之一的摩根奖。此后，她又获得牛津大学罗德奖学金，又进入斯坦福大学深造。

在斯坦福期间，洪乐潼逐渐发现，大模型虽然能在数学题上给出看似正确的答案，却很难保证推理过程没有漏洞。毕竟，普通大模型主要依靠概率预测生成内容，可能答对一道题，却无法保证每一步推导都成立。

Axiom的解决办法，是引入一种叫Lean的数学编程语言，让AI把推理过程写成计算机能检查的逻辑步骤。只要程序通过验证，证明过程就能得到严格的逻辑保证。

2024年深秋，洪乐潼在斯坦福附近的一家咖啡馆，遇到了时任Meta AI研究总监Shubho Sengupta。两人聊了几个小时，一拍即合。随后，他们一个从斯坦福退学，一个离开Meta，联手创立了Axiom。

他们的实力很快得到了验证。2025年12月，Axiom 的核心系统AxiomProver在无人干预下，攻克了两道困扰数学界数十年的埃尔德什难题，还在普特南竞赛中斩获12题全对的满分。要知道，过去近百年里，人类选手只有5个人做到过。

如此硬核的突破，甚至让学术泰斗甘愿为昔日学生打工。2025年底，57岁的美国数学学会前副会长、弗吉尼亚大学终身教授小野健宣布辞去教职，搬到硅谷加入Axiom，成为公司第15号员工。

小野健是洪乐潼在麻省理工时的导师，此前曾拒绝过多家科技大厂的高薪邀约，但在看到Axiom的能力后，他完全被征服了，甚至直言，自己愿意在这里当个标注工。

从数学证明到AI推理，洪乐潼想让大模型越来越可靠。而在另一条更靠近算力底层的赛道上，江西女孩盛颖则试图解决另一个问题：怎样让AI跑得更快、更省钱？

从xAI离职，江西女孩集齐硅谷算力巨头

AI 模型越做越大，训练和运行消耗的算力也水涨船高。除了不停买昂贵的 GPU，把现有芯片的效率拉满，也是一条极有价值的赛道。盛颖押注的，就是这个方向。

今年5月，盛颖联合创办的AI基础设施公司RadixArk，宣布完成1亿美元种子轮融资，投后估值达到4亿美元，约合人民币28亿元。

这笔早期融资不仅金额庞大，投资人阵容更是罕见。既有Accel、Spark Capital这类顶级风投，也有英伟达、AMD、联发科等芯片厂商，英特尔CEO陈立武、博通 CEO 陈福阳、OpenAI前联合创始人 John Schulman 等科技圈大佬也纷纷以个人身份入股。

一家成立不久的初创公司，为什么能吸引这么多科技巨头下注？核心就是盛颖牵头开发的开源项目SGLang。

简单来说，大模型每次回答问题，都要占用大量计算资源。SGLang通过优化模型运行时的计算和内存调度，让模型少做重复运算，既提升运行速度，又能降低成本。

其中一项核心技术RadixAttention，可以把已经计算过的对话信息保存下来，遇到相同的前缀直接复用，不用从头再算一遍。

如今，SGLang已经部署在全球超过40万个GPU上，谷歌、微软、英伟达、xAI 等企业的海量Token请求，都在靠它提升效率。

做出这个项目的盛颖，也有着不一般的经历。

盛颖出生在江西九江，早年靠网上免费教程自学编程，后来考入上海交通大学ACM班，又先后在哥伦比亚大学、斯坦福大学深造。读博期间，她转向大模型推理方向的研究，并牵头发起了SGLang开源项目。

2024年10月，盛颖加入马斯克旗下的xAI，共同负责Grok的推理团队。但随着SGLang社区不断壮大，开源项目需要更多全职开发者维护，单靠团队成员兼职已经难以支撑。

2025年7月，盛颖选择离开xAI，和清华校友朱邦华一起创立RadixArk，全力推进SGLang的技术落地和商业化。

今年5月，RadixArk拿下1亿美元融资，也说明资本和芯片厂商都看到了AI基础设施的价值：除了造更多芯片，让每一块现有芯片发挥更大作用，同样是一门大生意。

底层技术不断突破，而在离普通人更近的应用层，华人女孩们也在用 AI 改写老行业的玩法。

从卖保险到做影视，她们改写传统行业规则

跳出代码和算力，另一群姑娘把AI带进了保险、影视这些传统赛道，同样干出了一番名堂。

23岁的Emily Yuan，把AI保险生意做得风生水起。

Emily曾就读于斯坦福大学计算机专业，大三时退学创业。由于一次糟糕的投保经历，她与搭档决定创办Corgi，利用AI处理商业保险的报价、风险评估和理赔等流程，让投保变得更快、更简单。

颇具反差感的是，Corgi主业靠AI卖商业保险，副业却在公司楼下开了家24小时咖啡馆。这家Corgi Cafe成了意外的获客神器，深夜聚集的创业者和投资人，帮它把生意做到了伦敦、亚特兰大。

11月2日，随着6400万美元B轮扩展融资落定，Corgi估值已冲上50亿美元，约合人民币330亿元。

同样在传统行业里掀起生产力革命的，还有沈思琪和郭文景。

25岁的沈思琪，把AI带进了好莱坞。沈思琪曾是谷歌X实验室最年轻工程师之一，她在2022年开启创业，后将公司更名为Utopai Studios，定位AI原生影视工作室。

公司开发的叙事创作平台PAI与定制模型Utopai X，能将动画长片的制作周期从3年压缩至12个月，预算更是直接砍到传统模式的十分之一。

但沈思琪没有满足于只卖工具，而是选择与好莱坞深度绑定，亲自下场积累IP资产。

过去被好莱坞视为体量太大、根本拍不出的史诗电影《科尔特斯》，如今在PAI的辅助下重启，由戛纳影帝安东尼奥·班德拉斯主演，计划与另外四部原创作品在2027年大规模上映，仅两部作品的潜在版权预售收入就高达1.1亿美元。

今年以来，Utopai Studios已拿下6000万美元融资，估值达10亿美元，据The Information报道，下一轮估值有望冲击20亿至30亿美元。

而在更早的AI视频赛道，郭文景已经闯出了名堂。她是浙江首位被哈佛本科提前录取的女孩，因为觉得AI视频工具不好用，2023年从斯坦福博士退学，创办了Pika Labs。

Pika可以根据文字或图片生成视频，让普通用户也能完成过去需要专业软件和制作团队才能实现的内容。2024年6月，Pika累计融资达1.35亿美元，估值超过4.7亿美元，当时甚至带动她父亲实控的A股上市公司信雅达连拉六个涨停板。

如今AI视频赛道巨头混战，急于补齐超级智能版图的扎克伯格也盯上了她。据彭博社报道，Meta曾与Pika讨论合作，涉及收购或技术授权等可能性。

二十多年前，初代“哈佛女孩”刘亦婷的故事被写进畅销书。那时，人们津津乐道的是考入名校、拿到学历，仿佛这就是一个年轻女孩的人生高光。

而今天，无论是盛颖、洪乐潼，还是Emily Yuan、沈思琪与郭文景，这群年轻女孩纷纷选择离开校园，甚至主动放弃大厂机会。名校光环不再是她们的终点，只是她们坐上牌桌的一块跳板。

参考文章：

《盛颖创办RadixArk，江西女生撑起25亿估值》，投资界；

《25岁广州天才少女，如何在硅谷拿下14亿元融资？》，封面新闻；

《务工家庭走出00后天才，退学造110亿独角兽，终身教授辞职追随》，新智元；

《25岁广州女生，带出110亿独角兽》，21世纪经济报道；

《专治AI说谎，25岁天才少女公司估值过百亿》，字母AI；

《25岁，她估值70亿》，投资界；

《00后女生，估值300亿》，投资界；
《对话盛颖：xAI，Infra的浪漫，SGLang，开源，平权与“甄嬛传”》，硅谷101；

《三个哈佛女孩勇闯AI创业圈，她融资过亿美元》，IT桔子。

更多精彩内容，关注钛媒体微信号（ID：taimeiti），或者下载钛媒体App