首页财产ai正文 首发|25岁洪乐潼带队，Axiom方才融资14亿 25岁洪乐潼创建的AI草创公司Axiom完成2亿美元A轮融资，估值16亿美元。00后于AI范畴团体突起，他们无包袱，正成为立异主力。 2026-03-14 16:38 ·投资界王露 AI投资人解读· Axiom完成2亿美元A轮融资，估值达16亿美元。其焦点上风是情势化验证，能确保成果准确。开创人洪乐潼是数学天才，团队实力强盛。 · 行业竞争激烈，AI靠得住性待晋升。 总结：Axiom依附技能上风与优异团队备受存眷，有投资潜力。但要留意行业竞争与技能靠得住性问题，建议连续存眷其技能成长与市场体现。内容由AI天生，仅供参考
投资界获悉最新一笔融资——
洪乐潼创建的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后的时机。
于技能重构世界的前夕，没有包袱，往往就是最佳的行囊。
本文来历投资界，作者：王露，原文：https://news.pedaily.cn/202603/561697.shtml
【本文为投资界原创，网页转载须于文首注明来历投资界（微信公家号ID：PEdaily2012）和作者名字。微信转载，须于微信原文评论区接洽授权。背规转载必究责。】-lehu乐虎88国际