文 | 新质动能
华人女孩，勇闯硅谷 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 桔子。
