快科技 4 月 13 日消息，25 岁广州天才少女洪乐潼，从斯坦福博士退学创业，仅凭 20 人团队、成立不足两年，就把公司做到 110 亿元估值——这一消息震惊了硅谷，让无数风投挤破头。

2026 年 3 月中旬，她创立的 AI 公司 Axiom 完成 2 亿美元 A 轮融资，并强势跻身独角兽行列。

Axiom 不碰聊天机器人和文生图应用，而是专攻大模型最棘手的 " 幻觉 " 问题——用形式化验证技术从数学根源上封堵 AI 的胡说八道。

Axiom 采用异构协作模式：大模型负责猜想与搜索，Lean 编程语言负责最终验算，任何一步逻辑跳跃都会被系统直接拒绝通过。

2025 年 12 月，Axiom 核心系统 AxiomProver 在普特南数学竞赛中完成全部 12 道试题并取得满分，近百年来仅 5 位人类选手达成过这一成就。

同月，洪乐潼入选 " 福布斯 30 岁以下 30 人 " 榜单。

洪乐潼 2001 年出生于广州普通务工家庭，17 岁考入麻省理工学院，三年修完数学与物理双学位。

本科期间发表 9 篇论文并斩获北美数学本科生最高荣誉摩根奖，还获得了美国每年仅授予一名女性本科生的 Alice T. Schafer 数学奖。

2021 年她获得罗德奖学金赴牛津攻读神经科学硕士，随后进入伦敦大学学院盖茨比计算神经科学中心投身深度学习研究。

之后她又考入斯坦福攻读数学与法律双博士，最终选择退学创业。