天才少女辍学创业专治AI说谎！20人估值110亿杀穿硅谷

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年，她凭借罗德奖学金前往牛津大学攻读神经科学硕士学位，随后进入伦敦大学学院的盖茨比计算神经科学中心，专注从事深度学习研究。

接下来，她又考入斯坦福大学攻读数学与法律双博士学位，并最终决定辍学创业。