25岁天才少女狂揽14亿！这才是00后最牛打开方式。25岁广州姑娘洪乐潼，斯坦福辍学创业，成立才一年，就拿下2亿美元（超14亿人民币）A轮融资，公司估值飙到110亿，妥妥的最年轻AI独角兽创始人。

2026年3月，硅谷的一场融资发布会让整个创投圈炸了锅。

某 AI 初创公司成立还不到一年，便完成 2 亿美元 A 轮融资，估值直接暴涨至 16 亿美元，换算成人民币约110 亿新浪财经，堪称惊人。更令人震惊的是，这家备受资本青睐的企业，创始人竟是年仅 25 岁的中国年轻女性洪乐潼。

这不是什么爽文剧本，而是一个数学天才用十几年积累，在AI赛道撕开的全新切口。

洪乐潼2001年出生于广州天河，父母均为普通务工者。但这个女孩从小就展现出惊人的数学天赋——小学奥数赛场崭露头角，初中进了广州奥校免费集训队，高中在华附拿下中国女子数学奥林匹克金牌。

17 岁那年，她凭借美国数学奥赛国际营唯一外籍满分的亮眼成绩，成功获得麻省理工提前录取资格。

MIT的三年，成了她的"火箭加速期"。数学和物理双学位，三年修完，还额外啃下20个硕博阶段的课程。更狠的是，她在《美国数学会会刊》《数论杂志》等顶级期刊发表了9篇论文，研究方向涵盖模椭圆曲线、月光猜想这些前沿领域。

22 岁时，她斩获爱丽丝・谢弗奖这一美国女性数学界最高荣誉，成为该奖项历史上第五位获奖的女性。业界也因此称她为数学界的明日之星。

但真正的转折，发生在2024年深秋。

那时她正在斯坦福攻读数学与法学双博士，在校园附近的咖啡馆偶遇MetaAI研究总监ShubhoSengupta。两人聊了几个小时，把当下AI行业的痛点掰开了揉碎了——大模型能写代码、能生成内容，却始终摆脱不了"黑盒困境"。依托概率构建的推理逻辑存在先天缺陷，在金融、国防等高敏感核心领域，根本难以实际应用落地。

"数学才是构建AI推理能力的正确基础。这个念头一旦在洪乐潼心中萌生，便牢牢扎根，成为她日后前行的方向。

这个决定看似冲动，实则精准。她最终采用形式化验证这一路线：通过 Lean 语言把数学证明编译为可执行代码，让 AI 的推理逻辑像数学公式般绝对严密。

这不是跟风追热点，而是一场"数学对概率"的路线之争。与其让AI在概率海洋里"猜测"，不如让它在数学公理体系里"证明"。

2025年11月，首轮融资6400万美元落地。

但真正让资本疯狂的，是技术突破。

2025 年底，AxiomProver展现出惊人实力 ——一天之内破解了尘封30 载的埃尔德什第 124 号难题，又以5 小时的速度，彻底颠覆了埃尔德什第 481 题的传统认知。

凭借这些极具说服力的验证成果，公司获得 Menlo Ventures 领投，原有股东 Greycroft 与 Madrona 均选择继续加注。

虽然整个团队只有二十多人，但成员堪称顶配，包括 Meta 前 AI 资深专家与弗吉尼亚大学终身教授小野健。小野健甚至辞掉终身教职加入。

有人问洪乐潼，怎么看估值14.5亿美元的竞争对手Harmonic？她直言不讳：“他们花两年多才实现的数学突破，我们只用了几个月。”"

洪乐潼的成功，不是孤例。她是00后AI创业者群体突围的缩影。这一代人成长于GPT浪潮之中，对AI技术栈的穿透力远超前辈。他们没有行业经验包袱，没有职业路径依赖，也没有资源稀缺焦虑。

2026年第一季度，全球风投总额飙升至3000亿美元，其中80%的资金涌入AI赛道，巨头瓜分着65%的市场份额。

但洪乐潼用110亿估值证明，在中国，00后可以用硬核技术撕开AI赛道的口子。

她计划将本轮融资主要投入算力建设与顶尖人才引进，未来重点布局对冲基金与量化交易领域，用 AI 攻克资产定价、股市预测等复杂数学难题。

25岁，数学天才，110亿估值。这不是凭空出现的神话，而是她用十几年扎实积累，在人工智能时代抓住的关键突破口。

信源：封面新闻——25岁广州天才少女,如何在硅谷拿下14亿元融资？