25岁广州数学天才少女洪乐潼‌，从斯坦福大学退学创业，其创立的AI公司Axiom已完成‌2亿美元（约合人民币14亿元）A轮融资‌，公司估值达‌16亿美元（约110亿元人民币）‌，成立仅一年多便跻身独角兽行列 。

洪乐潼出生于2001年，广州人，父母为普通务工者。她自幼展现出超凡数学天赋，高中就读于华南师大附中，多次在奥数竞赛中获奖。17岁考入麻省理工学院（MIT），三年修完数学与物理双学位，并发表9篇高水平论文，获全美女性数学家最高荣誉。2021年获牛津大学罗德奖学金，攻读神经科学硕士。后进入斯坦福大学攻读数学与法学双博士，2024年深秋与Meta AI前研究总监Shubho Sengupta在一次咖啡馆交谈后，决定退学创办Axiom 。

Axiom聚焦“‌可验证人工智能‌（Verified AI），核心技术是使用名为‌Lean‌的编程语言，将数学证明转化为可执行程序，确保AI推理每一步都经得起形式化验证，从根本上杜绝“幻觉”问题 。其系统曾在“本科生数学奥林匹克”普特南竞赛中斩获满分，仅用1天和5小时便自主完成两道埃尔德什数论难题的形式化证明，全程无人干预 。

公司已吸引顶尖人才加盟，包括57岁数学权威、前美国数学学会副会长Ken Ono辞去弗吉尼亚大学终身教职，全职加入Axiom，称“见证了数学超级智能的可能” 。团队还汇聚了CUDA技术早期开发者、Transformer模型应用于数学领域的先驱等AI与数学界“梦之队”成员。