11月以来，硅谷AI领域接连出现由华人女性创办的初创公司融资与产品进展消息。据公开信息统计，5位年轻华人女性所创办的AI公司总估值已超过600亿元人民币，业务覆盖数学推理验证、AI推理基础设施、保险科技与影视制作等方向。
11月4日，由25岁广州女孩洪乐潼创办的AI数学公司Axiom公布一项新成果：团队调度AI智能体，在不到两个月时间内写出约1575万行代码，将数学家约翰·德容联合650多位学者、耗时20年编写的代数几何参考书Stacks Project转化为计算机可逐步验证的代码库。该成果意味着过去依赖人工检查的复杂数学推导，可通过AI完成机器验证。Axiom的技术路径是引入Lean数学编程语言，让AI将推理过程写成计算机可检查的逻辑步骤，以降低大模型在数学推理中的幻觉问题。
Axiom成立于2024年，由洪乐潼与时任Meta AI研究总监Shubho Sengupta在斯坦福附近的一次会面后共同创立，前者从斯坦福退学，后者离开Meta。今年3月，Axiom完成2亿美元A轮融资，由Menlo Ventures领投，投后估值达16亿美元，约合人民币110亿元，成立不到两年即跻身独角兽行列。洪乐潼17岁考入麻省理工学院，三年修完数学与物理双学位，曾获摩根奖，并获牛津大学罗德奖学金，后进入斯坦福大学深造。2025年12月，Axiom核心系统AxiomProver在无人干预下攻克两道困扰数学界数十年的埃尔德什难题，并在普特南竞赛中取得12题全对。2025年底，57岁的美国数学学会前副会长、弗吉尼亚大学终身教授小野健辞去教职加入Axiom，成为公司第15号员工。
在AI基础设施方向，从xAI离职的江西女孩盛颖联合创办的RadixArk于今年5月宣布完成1亿美元种子轮融资，投后估值4亿美元，约合人民币28亿元。投资方包括Accel、Spark Capital等风投机构，以及英伟达、AMD、联发科等芯片厂商，英特尔CEO陈立武、博通CEO陈福阳、OpenAI前联合创始人John Schulman等亦以个人身份入股。RadixArk的核心资产是盛颖牵头发起的开源项目SGLang，该项目通过优化模型运行时的计算与内存调度减少重复运算，其中RadixAttention技术可缓存已计算的对话信息并复用相同前缀。目前SGLang已部署在全球超过40万个GPU上，谷歌、微软、英伟达、xAI等企业的Token请求均依赖其提升效率。盛颖出生于江西九江，曾就读于上海交通大学ACM班，后在哥伦比亚大学、斯坦福大学深造，2024年10月加入xAI负责Grok推理团队，2025年7月离职创业。
在应用层，23岁的Emily Yuan联合创办的AI保险初创公司Corgi在11月2日完成6400万美元B轮扩展融资后，估值升至50亿美元，约合人民币330亿元。Emily曾就读于斯坦福大学计算机专业，大三退学创业，Corgi利用AI处理商业保险的报价、风险评估与理赔流程。该公司还在办公楼下开设24小时咖啡馆Corgi Cafe，作为获客渠道，业务已拓展至伦敦、亚特兰大。
25岁的沈思琪则将AI引入影视制作。她曾是谷歌X实验室最年轻的工程师之一，2022年开启创业，后将公司更名为Utopai Studios，定位AI原生影视工作室。公司开发的叙事创作平台PAI与定制模型Utopai X可将动画长片制作周期从3年压缩至12个月，预算降至传统模式的十分之一。Utopai Studios选择与好莱坞深度绑定并积累IP资产，史诗电影《科尔特斯》在PAI辅助下重启，由安东尼奥·班德拉斯主演，计划于2027年与另外四部原创作品大规模上映。此外，杭州女孩郭文景创办的AI视频生成工具Pika已斩获超1亿美元融资。
从数学形式化验证、推理运行时优化到保险与影视垂直应用，上述公司分别对应AI产业链中可靠性、算力效率与行业落地三个环节。其融资节奏与估值水平显示，资本对AI基础设施与垂直场景结合的关注仍在延续，而华人女性创业者正在这一轮技术周期中占据更靠前的生态位。
该文观点仅代表作者本人，企服科学平台仅提供信息存储空间服务。
