广东00后女生公司估值达110亿 AI独角兽崛起

小大

用微信扫描二维码
分享至好友和朋友圈

关键词：

2026-03-17 17:44:40 新浪财经

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辞去了弗吉尼亚大学的教职，加入洪乐潼的初创公司。他曾在学术界指导过十位摩根奖得主，而洪乐潼正是其中之一。

洪乐潼出生在广州天河区的一个普通家庭，自幼展现出不凡的数学天赋。她在华南师大附中就读期间多次获奖，并考入麻省理工学院攻读数学和物理双学位。疫情期间，她发表了多篇高质量论文，拿下了北美数学本科生的最高荣誉“摩根奖”。随后，她获得牛津大学罗德奖学金，在英国进行了深入研究。2024年，洪乐潼进入斯坦福大学攻读数学博士，但最终选择了创业。

洪乐潼形容自己是一个“单线程”的人，必须将一件事全部做完，再开启下一件。她的自我认知清晰：既能像花一样融入时代的繁茂，又能像树一样在专业领域扎根独行。她希望Axiom能够帮助那些像拉马努金一样的天才完成证明，让他们有更多时间和能量去完成下一个直觉的发现。对于洪乐潼而言，她的“证明题”才刚刚开始。

(责任编辑：0764)

关闭

广东00后女生公司估值达110亿 AI独角兽崛起

相关新闻

今日热点

频道热点