00后学霸女生获14亿融资 AI新星崛起

00后风暴正在席卷AI领域，洪乐潼是其中的佼佼者。她创立的AI初创公司Axiom完成2亿美元A轮融资，由Menlo Ventures领投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码。至此，公司估值高达16亿美元（约合人民币110亿）。

洪乐潼今年25岁，出生于广州，曾就读于华南师大附中，多次在奥数竞赛中获奖。她的求学轨迹横跨麻省理工学院、牛津大学，直至在斯坦福大学攻读博士学位期间，选择投身创业浪潮。投资界与洪乐潼的交流始于Axiom尚处水下时期，彼时创投圈传出其早期融资的动静。她在创立Axiom期间写下自勉：“祝自己做花也做树。缤纷热情，孤离兀立。”

Axiom的故事始于一次咖啡馆的交流。2024年深秋的一个周末，23岁的洪乐潼在斯坦福附近的一家咖啡馆见到了时任Meta AI研究总监的Shubho Sengupta。几个小时的交谈后，洪乐潼决定从斯坦福退学，着手创立Axiom。很快，洪乐潼的名字在创投圈隐秘而迅速地流传。如今，Axiom宣布完成2亿美元A轮融资，成立不到一年即跻身独角兽行列。

就在短短5个月前，Axiom刚刚完成种子轮融资。彼时，这家初创公司浮出水面，向外界掷出一个坚定的信念：数学是构建AI推理能力的正确基础。去年12月，Axiom的核心系统在被誉为“本科生数学奥林匹克”的普特南竞赛中斩获12题全对的满分。随后，该系统又自主证明了多个开放性数论猜想。

Axiom正在将这种“绝对正确”的数学推理能力通过迁移学习引入到代码验证领域，试图解决生成式AI的种种问题。当下，AI行业面临一个尖锐矛盾：大模型的能力狂飙，但可靠性却始终是个黑盒。日常应用中的“胡说八道”或许无伤大雅；但在金融、国防或关键基础设施领域，任何基于概率的错误都可能酿成灾难。

Axiom的答案是可验证人工智能（Verified AI）。其核心优势在于形式化验证：通过Lean编程语言，将数学证明转化为可执行程序，从根本上确保结果的正确性。在这里，大模型不再是基于概率去“猜”答案，而是将代码转化为严格的数学逻辑，证明出结果。每一步推理，都必须通过确定性验证器的检验。

洪乐潼认为，科学突破往往需要两步：提出假设，再用证明去验证。Axiom的终极使命是无限压缩把好奇心转化为真理的时间。她表示：“Verified AI关注的，绝不仅仅是修补AI的缺点。真正瞄准的，是AI的上限，是通向超级智能的阶梯。”

洪乐潼的故事离不开她的成长背景。2001年，她出生于广州，父母是潮汕人。自幼便展现出不凡的数学天赋，中学就读于广东名校华南师范附中。高中时期，她是数学奥林匹克省队唯一四名女生之一，多次在华罗庚金杯、全国高中数学联赛等竞赛中取得好名次。2019年，她考入麻省理工学院，攻读数学和物理双学位。三年后，洪乐潼成功拿到牛津大学罗德奖学金，成为仅有的四名中国获奖者之一。随后，她在英国牛津大学获得硕士学位，并在伦敦大学学院进行人工智能和机器学习研究。

2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士。不久，她闯入了AI界。Axiom已组建了一支堪称“梦之队”的核心团队：CTO Shubho Sengupta曾任Meta AI研究总监，核心科学家François Charton率先将Transformer模型引入数学领域，创始数学家Ken Ono加入Axiom。目前，Axiom拥有30多名员工，招聘速度还在不断加快。

AI浪潮已成为00后的主场。上周，灵初智能宣布完成天使轮及Pre-A轮共计20亿元融资，联合创始人陈源培出生于2001年，曾就读于北京大学、斯坦福大学，师从李飞飞。优理奇创始人杨丰瑜同样是位00后，博士毕业于耶鲁大学，本科毕业于美国密歇根大学计算机专业，曾在DeepMind工作。这些年轻创业者展现了超越年龄的成熟，几乎是最优秀的一群人。在技术重构世界的前夜，没有包袱，往往就是最好的行囊。