2026年，广州出生的00后洪乐潼创立的人工智能公司Axiom完成2亿美元A轮融资，估值达16亿美元（约110亿元人民币），跻身独角兽行列。

洪乐潼2001年出生于广州，父母为普通务工者。她高一入选奥数省队，17岁被麻省理工学院（MIT）录取，3年修完数学与物理双学士学位，并额外修读20门硕博级别课程，获北美数学本科生最高荣誉“摩根奖”及“Schafer数学卓越奖”。

2021年，她获罗德奖学金赴牛津大学深造，后进入斯坦福大学攻读数学与法学双博士。2024年，她在咖啡馆与时任Meta AI研究总监Shubho Sengupta探讨AI数学推理局限性，意识到大模型基于概率的推理存在不可验证风险，遂从斯坦福退学创办Axiom。

Axiom聚焦“可验证人工智能”（Verified AI），采用数学即服务模式，要求AI输出以Lean语言编写，确保每一步推理均可被100%形式化验证。

2025年12月，Axiom核心系统在北美最难大学生数学竞赛普特南竞赛中斩获满分；该成绩在近百年历史上仅5人达成。随后，该系统在无人干预下证明了悬置20年的数论猜想及埃尔德什问题集中的两大难题。

57岁的数学泰斗小野健（Ken Ono）因此辞去弗吉尼亚大学终身教职，加入Axiom担任研究员。前Meta AI研究总监Shubho Sengupta出任CTO；法国数学家François Charton、AI开发者Hugh Leather亦加入团队。

洪乐潼认为，数学验证是通向超级智能的基石，当前成果仅为切入点。Axiom尚未拓展至通用AI代码验证等更广泛场景。

同期，《胡润全球富豪榜》显示，32岁的郭露西以90亿元人民币身家成为全球最年轻的白手起家女富豪；Deel创始人王硕所创公司估值达173亿美元；95后郭文景创办的Pika估值达34亿元；刘月婷因投资空中云汇获7亿纽币身家，成为新西兰女首富。

上述华裔女性创业者多具麻省理工、哈佛、斯坦福等名校背景，普遍选择退学创业，聚焦AI基础设施、远程用工、视频生成、跨境支付等高壁垒领域，依托技术专长与市场判断力快速建立行业地位。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。