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亿元。成立还不到两年，这家公司就迈进了独角兽行列。

洪乐潼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，把现有芯片的效率榨到极致，同样是一条很有价值的赛道。盛颖押注的就是这个方向。

盛颖参与创办的AI基础设施企业RadixArk在今年5月公布，其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桔子。