25岁，她刚刚融资14亿
洪乐潼向投资界同步了一则融资——
她创立的AI初创公司Axiom完成2亿美元A轮融资，由Menlo Ventures领投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码。至此，公司估值高达16亿美元（约合人民币110亿）。
洪乐潼今年25岁，出生于广州，曾就读于华南师大附中，多次在奥数竞赛中获奖。此后，她的求学轨迹横跨麻省理工学院、牛津大学，直至在斯坦福大学攻读博士学位期间，选择投身创业浪潮。
细数投资界与洪乐潼的交流，始于Axiom尚处水下时期，彼时创投圈传出其早期融资的动静，投资界向她求证。多次交流下来，印象深刻，她在创立Axiom期间于朋友圈写下的自勉：“祝自己做花也做树。缤纷热情，孤离兀立。”
图片来源：麻省理工学院
越过个体的抉择，一个更显著的时代切面正在浮现，00后创始人正集体登上AI舞台。
刚刚融资14亿
成立一年，估值110亿
故事的开头源于一次咖啡馆的交流。
那是2024年深秋的一个周末，23岁的洪乐潼在斯坦福附近的一家咖啡馆，见到了时任 Meta AI研究总监的Shubho Sengupta。
几个小时的交谈中，两人讨论了各自研究领域的交叉点，以及AI或许可以解决世界上最棘手的数学问题。不久，洪乐潼做出了一个平静却决绝的选择：从斯坦福退学，着手创立Axiom。
天才少女的故事，总是自带光环。很快，洪乐潼这个名字在创投圈隐秘而迅速地流传。也是那个节点，投资界与她建立了联系。谈话间，她几乎不谈论风口与颠覆，更多在意对问题本身的好奇和对技术可能性的清晰判断。
如今，Axiom宣布完成2亿美元A轮融资，成立不到一年即跻身独角兽行列。
而就在短短5个月前，Axiom刚刚完成种子轮融资。彼时，这家初创公司浮出水面，向外界掷出一个坚定的信念：数学，是构建AI推理能力的正确基础。
去年12月，Axiom的核心系统在被誉为“本科生数学奥林匹克”的普特南竞赛中，斩获12题全对的满分。要知道，过去近百年，仅有5人达成过此成就。随后，该系统又自主证明了多个开放性数论猜想。
解决数学问题只是冰山一角。Axiom正在将这种“绝对正确”的数学推理能力，通过迁移学习引入到代码验证领域，试图解决生成式AI的种种问题。
当下，AI行业面临着一个极其尖锐的矛盾：大模型的能力狂飙，但可靠性却始终是个黑盒。日常应用中的“胡说八道”或许无伤大雅；但在金融、国防或关键基础设施领域，任何基于概率的错误都可能酿成灾难。
“我们正步入一个人工智能几乎可以编写所有软件的世界，背后隐藏着几乎无人提及的问题：所有代码都未经验证，这将是巨大的风险。”Menlo Ventures的合伙人Matt Kraning感慨，人工智能将写出所有代码，但数学将验证是否正确。
Axiom的答案是可验证人工智能（Verified AI）。
简单来说，其核心优势在于形式化验证：通过Lean编程语言，将数学证明转化为可执行程序，从根本上确保结果的正确性。在这里，大模型不再是基于概率去“猜”答案，而是将代码转化为严格的数学逻辑，证明出结果。每一步推理，都必须通过确定性验证器的检验。
“科学突破往往需要两步：提出假设，再用证明去验证。我们创立 Axiom，就是要无限压缩把好奇心转化为真理的时间。”在洪乐潼看来，AI递归式自我进化已近在眼前，对于 Axiom的终极使命，她留下了一句极具张力的注脚：
“Verified AI关注的，绝不仅仅是修补AI的缺点。真正瞄准的，是AI的上限，是通向超级智能的阶梯。”
一位00后女学霸带队
来自广州
Axiom的故事，离不开一路开挂的洪乐潼。
2001年，洪乐潼出生于广州，父母是潮汕人。自幼她便展现出不凡的数学天赋，中学就读于广东名校华南师范附中。高中时期，洪乐潼是数学奥林匹克省队唯一四名女生之一，多次在华罗庚金杯、全国高中数学联赛等竞赛中取得好名次。
2019年，她考入麻省理工学院，攻读数学和物理双学位。三年后，洪乐潼成功拿到牛津大学罗德奖学金，成为仅有的四名中国获奖者之一。罗德奖学金是世界上历史最悠久、最负盛名的国际奖学金项目之一，有“本科诺贝尔奖”的美誉。
随后，洪乐潼在英国牛津大学获得硕士学位。期间还在伦敦大学学院进行人工智能和机器学习研究，当时她曾表示，“人工智能与科学家未来的互动会怎样？是我接下来希望研究的课题。”
到了2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士。“一直以来，我都是一名研究者。”在此前一次采访中她称，内心深处最想要解决真正困难的技术问题。很快，还在博士就读的她闯入了AI界。
曾在DeepSeek火爆全球之际，洪乐潼发出这样的感慨：“一个小而专注、特立独行的团队。一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。这就是DeepSeek的故事，也是我想亲自书写的故事。”
如今，Axiom已组建了一支堪称“梦之队”的核心团队：
CTO Shubho Sengupta 曾任 Meta AI研究总监，此前参与过Google分布式训练系统的研究工作，同时也是最早开发CUDA技术的专家之一；
核心科学家François Charton，是率先将Transformer模型引入数学领域的先驱，曾用大模型推翻过一个长达30年未解的学术猜想。
最令人震撼的，是创始数学家Ken Ono的加入。这位囊括了古根海姆奖、斯隆奖等无数顶尖荣誉的数学领域权威、前美国数学学会副会长，毅然辞去了弗吉尼亚大学的终身教职，全职加入Axiom。
一段被反复咀嚼的佳话是：在Ono长达四十年的执教生涯中，曾指导过十位摩根奖得主，洪乐潼正是其中之一。
“她兼具深厚的数学功底、惊人的运营效率，以及吸引世界一流人才的能力。”一位投资人忍不住感慨：“这是我过去二十年的硅谷生涯中，见过的最令人印象深刻的创始人，没有之一。”
目前，Axiom拥有30多名员工，招聘速度还在不断加快。属于她的那个故事，才刚刚写下第一笔。
AI时代
00后集体登场
AI浪潮，已成为00后的主场。
就在上周，成立仅一年多的公司灵初智能宣布，已完成天使轮及Pre-A轮共计20亿元融资，投资方阵容豪华。其联合创始人陈源培，出生于2001年，曾就读于北京大学、斯坦福大学，师从李飞飞。
还有优理奇创始人杨丰瑜，同样是位00后。博士毕业于耶鲁大学，本科毕业于美国密歇根大学计算机专业，曾在DeepMind工作。同样在上周，公司刚刚完成近3亿元新一轮融资。
这个名单还有很长。四位00后创立的AI编程公司Anysphere，估值冲到了约290亿美元；19岁华裔女孩Serena Ge创办的AI数据公司Datacurve融资上亿；AI初创公司Mercor的三位22岁联合创始人，成为全球最年轻的白手起家富豪……
更为直接的冲击是富豪榜，AI已成为最年轻化的赛道。《2026胡润U40全球白手起家富豪榜》显示，AI领域共诞生27位十亿美金企业家，占榜单总人数的四分之一，平均年龄仅32岁，合计财富近7000亿元人民币。
目睹了浪潮起伏，不止一位投资人感慨，短短两三年间涌现出的这批年轻AI创业者，无论视野、格局还是破局的韧性，都展现出了超越年龄的成熟，几乎是他们从业以来见过的最优秀的一群人。甚至有投资人坦言，如果团队里没有00后核心合伙人，可能就不投了。
为什么必须是年轻人？纪源资本管理合伙人符绩勋曾这样拆解背后的逻辑：“每一个时代的创新，往往都是年轻人先跑出来，因为年轻人没有包袱。”一个时代有一个时代的创新，一个时代也会形成一种惯性，甚至形成一种包袱。某种程度上，今天的AI就是95后、00后的机会。
在技术重构世界的前夜，没有包袱，往往就是最好的行囊。
本文来自微信公众号“投资界”（ID：pedaily2012），作者：王露，36氪经授权发布。