AI初创公司Axiom近日宣布完成2亿美元A轮融资，由知名风投Menlo Ventures领投，老股东悉数跟投。成立仅一年多的Axiom估值飙升至16亿美元，跻身“独角兽”俱乐部。这家公司的创始人洪乐潼是一位出生于2001年的广州女生。

　　Axiom的故事始于2024年深秋的一个周末，在美国加州斯坦福大学附近的一家咖啡馆里。当时还在攻读博士学位的洪乐潼与Meta AI研究总监Shubho Sengupta进行了一次深入交谈。他们讨论了AI能否解决世界上最棘手的数学问题，并在思想碰撞中找到了新的方向。不久后，洪乐潼决定退学创业，她认为当好奇心与真理之间只差一次验证时，压缩这个过程的时间就是最大的商业价值。

　　Axiom选择了一条硬核且冷僻的赛道——可验证人工智能（Verified AI）。洪乐潼观察到许多大模型在数学测试中的表现并不理想，尤其是在展示严谨证明过程时。Axiom的解决方案是借助一种名为Lean的编程语言，这种语言专为数学证明设计热点话题，通过其检验的结果逻辑上绝对正确。Axiom的核心系统在普特南竞赛中取得了满分，进一步验证了这一理念的可行性。

　　Axiom的团队也是一支梦之队。CTO Shubho Sengupta曾是Meta AI研究总监，核心科学家François Charton是将Transformer模型引入数学领域的先驱。最令人震撼的是57岁的数学权威Ken Ono的加盟。Ono辞去了弗吉尼亚大学的教职，加入洪乐潼的初创公司。他曾在学术界指导过十位摩根奖得主，而洪乐潼正是其中之一。广东00后女生公司估值达110亿 AI独角兽崛起