00后华人女学霸震动硅谷！退学斯坦福狂揽14亿融资，一年打造110亿AI独角兽，她凭什么（组图）

当同龄人还在校园求索或职场起步时，25 岁的广州女孩洪乐潼（Carina Hong）已在硅谷写下传奇。

从斯坦福博士退学创业，仅用不到一年，便将 AI 公司 Axiom 推至 16 亿美元估值，成为全球最年轻的 AI 独角兽创始人之一。

这并非偶然的“幸运故事”。而是一段由天赋、精准远见与 AI 时代浪潮碰撞出的必然。天才少女履历“开挂”，是如何一步步走到硅谷的？

洪乐潼出生于 2001 年，成长在广州一个普通家庭。父母没有接受过高等教育，但她很早就展现出对数学的敏锐感知。

中学时期，她就读于华南师范大学附属中学。她是省级奥数队中为数不多的女生之一，并入选广东省中学生英才计划。

17 岁被麻省理工学院（MIT）录取，仅 3 年就拿下数学、物理双学位。期间发表 9 篇高水平论文，斩获北美数学本科生最高荣誉摩根奖、全美女性数学家最高荣誉 Alice T. Schafer 数学奖。

随后，她凭借罗德奖学金前往牛津大学深造神经科学。并在伦敦大学学院继续从事人工智能与机器学习研究。

2024 年，她进入斯坦福大学攻读数学与法学方向的博士项目。她本可沿着顶尖学者的道路前行，却在斯坦福附近的一家咖啡馆，见到了时任 Meta AI 研究总监的 Shubho Sengupta。

几个小时的交谈中，两人讨论了各自研究领域的交叉点，以及 AI 或许可以解决世界上最棘手的数学问题。两人很快达成共识：与其继续沿着既有路径前行。不如直接进入产业一线，尝试解决更基础的问题。

不久后，she 选择从斯坦福退学，创立 Axiom。Shubho 则成为 Axiom 第一位成员，现任 CTO。

“Axiom”在数学中意为“公理”，这一命名也透露出公司的核心理念——用严谨的数学逻辑重构人工智能系统。当前主流大模型虽能力强大，但其推理过程缺乏透明性，容易出现所谓“幻觉”。即输出看似合理但实际错误的信息。

在娱乐或日常应用中，这类问题或许无伤大雅。但在金融、航空航天等高风险领域，错误可能带来严重后果。

洪乐潼团队试图解决的，正是这一长期困扰行业的基础性难题。

Axiom 的技术路径，是将模型的推理过程转化为可以被验证的数学结构，使每一步逻辑都具备可检验性，从而提升系统的可靠性。这一方向对技术要求极高。需要同时具备深厚的数学功底与 AI 工程能力，但一旦突破，也意味着巨大的应用潜力。

凭借精准的赛道选择与硬核技术实力，Axiom 在资本寒冬中逆势崛起。

2024 年 8 月，洪乐潼就拿下了 960 万美元种子轮投资。公司成立 4 个月后，便完成 6400 万美元的种子轮增资；2026 年 3 月，更是完成 2 亿美元 A 轮融资。由硅谷顶级风投 Menlo Ventures 领投，老股东悉数跟投，估值直接飙升至 16 亿美元。

在当前整体偏谨慎的投资环境下，这样的增长速度并不常见。

比融资更引人关注的，是她吸引人才的能力。Axiom 仅 20 余人，却汇聚了学界与业界顶尖力量：57 岁的世界数学泰斗、弗吉尼亚大学终身教授小野健（Ken Ono）。

作为洪乐潼 MIT 时期的导师，毅然辞去终身教职，举家搬迁至硅谷加入团队。这位曾为美国奥运游泳队做数据分析、担任电影《知无涯者》顾问的数学传奇直言：“我真正感受到了一个 AI 时刻。有些事情和昨日不一样了。”

在他们看来，推动 AI 基础能力跃迁的机会，比任何头衔或待遇都更具吸引力。

与此同时，团队在数学推理领域的探索也取得初步进展。相关系统已在部分复杂问题求解中展现出优势。尽管仍处于早期阶段，但已引起学界与产业界的关注。

洪乐潼的经历，很难被简单复制。她兼具顶尖学术训练、跨学科背景与对技术趋势的判断力。但她的选择，折射出一个更普遍的变化：在人工智能快速演进的时代，真正的突破。往往来自对基础问题的重新审视。

与其在成熟赛道中竞争，不如在尚未被充分探索的领域建立优势。她没有追逐最热门的通用模型，而是将目光投向更底层的“可靠性”问题。并试图用数学方法构建新的技术框架。

对于外界而言，这位年轻创业者的故事或许仍在展开之中。Axiom 能否真正改变 AI 行业，还有待时间检验。但可以确定的是，她已经用一次关键选择证明。在技术浪潮中，真正的领先者，往往不是追赶风口的人，而是试图定义方向的人。