<div id="readability-page-1"><div>投资界获悉最新一笔融资——洪乐潼创立的 AI 初创公司 Axiom 宣布完成 2 亿美元 A 轮融资，由 Menlo Ventures 领投，Greycroft、Madrona Venture、B Capital、Toyota Ventures 等老股东持续加码。至此，公司估值高达 16 亿美元（约合人民币 110 亿）。洪乐潼今年 25 岁，出生于广州，曾就读于华南师大附中，多次在奥数竞赛中获奖。此后，她的求学轨迹横跨麻省理工学院、牛津大学，直至在斯坦福大学攻读博士学位期间，选择投身创业浪潮。投资界曾与洪乐潼私下交流，彼时 Axiom 尚处水下时期。记得她在创立 Axiom 期间于朋友圈写下的自勉：“祝自己做花也做树。缤纷热情，孤离兀立。”<img src="https://imageproxy.pbkrs.com/https://inews.gtimg.com/om_bt/OpEOKKr9hsivxNrIPQD6UJKKK7UfjUImbyeVi9IEzysLQAA/641?x-oss-process=image/auto-orient,1/interlace,1/resize,w_1440,h_1440/quality,q_95/format,jpg" width="960" height="960" original-src="https://imageproxy.pbkrs.com/https://inews.gtimg.com/om_bt/OpEOKKr9hsivxNrIPQD6UJKKK7UfjUImbyeVi9IEzysLQAA/641"/>图片来源：麻省理工学院越过个体的抉择，一个更显著的时代切面正在浮现，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 后的机会。在技术重构世界的前夜，没有包袱，往往就是最好的行囊。</div></div>

AXINU

AXIN

洪乐潼创立的 AI 初创公司 Axiom 宣布完成 2 亿美元 A 轮融资，由 Menlo Ventures 领投，估值达到 16 亿美元。洪乐潼，25 岁，曾就读于麻省理工学院和斯坦福大学，因对 AI 和数学的热情而选择创业。Axiom 在成立不到一年内迅速成长为独角兽，显示出 00 后创始人在 AI 领域的崛起。

首发 |25 岁洪乐潼带队，Axiom 刚刚融资 14 亿