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行业面临一个尖锐矛盾：大模型的能力狂飙，但可靠性却始终是个黑盒。日常应用中的“胡说八道”或许无伤大雅；但在金融、国防或关键基础设施领域，任何基于概率的错误都可能酿成灾难。
