25岁天才少女造出百亿独角兽，重塑AI创投圈商业版图

文 | 新质动能，作者｜沐风，编辑｜时楠

谁说00后只会整顿职场？

这届年轻人已经开始占据AI牌桌了，在创投圈掀起了AI创业风暴。

今年3月，25岁天才少女洪乐潼的Axiom，刚刚完成2亿美元融资，公司成立不到一年，估值直接飙到110亿人民币，成了全球最年轻的独角兽之一。

另一边，北邮大四学生郭航江靠着VibeCoding，10天就手搓出一款AI预测引擎，直接登顶GitHub，陈天桥给他砸了3000万，让他从实习生变身CEO。

此外，还有灵初智能的陈源培、优理奇的杨丰瑜……他们毫不掩饰自己野心，一出手就是对标马斯克、叫板OpenAI。

这股AI风暴来得太凶猛，甚至有投资人感慨：如果团队里没个00后合伙人，这项目可能都不敢投。

这群出生于国家崛起之时的年轻人，正从追赶者变成领跑者，书写属于00后的黄金时代。

潮汕天才少女洪乐潼，一年干出百亿独角兽

近日，00后女生洪乐潼创立的Axiom，刚完成 2亿美元A轮融资，投后估值达到 16亿美元，正式进入独角兽行列，而她这家公司仅成立1年多。

洪乐潼2001年生于广州，是典型的“别人家的孩子”。父母虽是普通务工者，她却从小展现出很高的数学天赋。高中就读于华南师大附中，是奥数省队极少数的女生；

17岁被麻省理工学院（MIT）录取，三年修完数学和物理双学位，论文发到手软。后来，她拿到了“本科诺贝尔奖”之称的罗德奖学金，求学轨迹横跨牛津、伦敦大学学院，直至攻读斯坦福博士。

而洪乐潼创立Axiom，绝不是为了赚点钱。

早在2024年深秋，洪乐潼在斯坦福附近的一家咖啡馆，和当时Meta AI研究总监Shubho Sengupta聊了几个小时。

两人讨论的只有一个问题：AI能不能真正学会数学推理。聊完之后不久，洪乐潼做了一个决定：从斯坦福退学，创业。

很多创业者做AI，是看到了巨大的商业机会。但洪乐潼的思考路径不太一样。

她注意到AI行业一个非常核心的矛盾：

模型越来越强，但可靠性一直是个问题。

如果只是写文章、聊天，AI偶尔说错话问题不大。但如果进入金融、国防或者关键基础设施领域，一次错误可能就会带来巨大风险。Axiom想解决的，就是这个问题。

他们提出一个概念：可验证人工智能（Verified AI）。简单说，就是让AI的每一步推理都可以被数学验证，而不是靠概率去猜答案。

具体做法是，用Lean编程语言把数学证明转化为可执行程序。每一步逻辑都必须通过验证器检查。换句话说，AI不仅要给出答案，还必须证明自己为什么是对的。

这套系统很快展示了实力。去年12月，在被称为“本科生数学奥林匹克”的普特南竞赛中，Axiom系统 12题全对。

要知道，在过去接近100年的历史里，只有 5个人类选手做到过。随后，这套系统还自主证明了多个开放数论猜想。

在洪乐潼看来，数学只是第一步。未来AI会写出大量软件代码，而这些代码是否可靠，是一个巨大的问题。

她希望用数学验证，让AI写出来的代码也可以被严格证明是正确的。所以Axiom真正瞄准的，其实不是一个小工具，而是AI未来的一块基础能力。

大学生10天做出AI项目，陈天桥砸钱3000万

如果说洪乐潼代表的是学术派AI创业者，那么郭航江则完全是另一种风格。这名大四学生，因为一款叫MiroFish的项目，突然登顶了GitHub全球趋势榜。

MiroFish是什么东西？简单来说，它是一款AI预测引擎。你喂给它新闻、政策或者金融信号，它就能自动构建出一个高保真的“数字平行世界”，里面的几百个具备独立人格和长期记忆的AI智能体，会自己去交流演化。你可以观察这个世界的未来走向。

更神的是，这个项目以及他之前的毕设——舆情分析助手BettaFish，是他只花了10天时间，手搓出来的。这种通过自然语言描述需求，指挥AI协作编程的方式，被圈内称为“Vibe Coding”。

这个“小孩哥”的脑回路很大胆。他用MiroFish去续写《红楼梦》失传的结局，系统根据前80回原著生成了庞大的人物关系图谱，最后预测出的黛玉焚稿断情、湘莲削发出家，竟然和现有流传版本基本吻合，而后台成本仅仅消耗了14块钱。

这种驾驭AI的能力，也得到了资本大佬的青睐，成功引起了盛大集团创始人陈天桥的注意，他直接注资3000万人民币深度孵化，郭航江瞬间从一个写毕设的大四学生，转身成了创业公司的CEO。

而郭航江对此很清醒，他觉得市场在疯狂寻找能把AI用成生产力的人，尤其是充满创造力的超级个体。

他还在朋友圈广发英雄帖，不需要标准答案，只要能驾驭AI的同路人。这份自信，正是这一届00后的底气：技术在变，但创造力一直都是稀缺品。

00后创业者集体登场

如果只有一两个案例，也许只是巧合。但如果把最近几年AI创业者名单拉出来，会发现一个很明显的趋势：在AI领域，00后创业者正在大量出现。

陈源培，出生于2001年，曾就读于北大、斯坦福，师从“AI教母”李飞飞。他在北大期间就实现了全球首次真实环境下的强化学习双臂双控。

面对华为“天才少年”的offer、斯坦福的深造邀请，他选择了第三条路：创业。

灵初智能成立一年多，融资总额已经狂飙到20亿元人民币，投资方全是国家队和产业龙头。马斯克曾断言机器人最难的是“手”，而陈源培团队的灵巧手已经能稳抓水杯滴水不漏，甚至和英伟达达成了深度合作。

还有优理奇的创始人杨丰瑜，耶鲁博士毕业直接回国，投身保姆机器人研发，还没出成果就已经拿到了数亿元融资和千万级订单。

还有共绩科技的创始人付智，他从贵州乡村走出来，考入清华大学，在海淀民房里搞车库创业，要搭建一个稳定、低价、弹性的算力共享平台，做“算力界的滴滴”，半年营收就破了两千万。

《2026胡润U40全球白手起家富豪榜》显示，AI行业已经诞生27位十亿美元级企业家，平均年龄只有32岁。不少投资人甚至直言：如果AI创业团队里没有00后核心成员，可能都不会投。

原因其实很简单。每一轮技术革命，往往都是年轻人先跑出来。因为年轻人没有历史包袱，也没有旧路径的惯性。AI时代，同样如此。

结语

中国创业史，其实经历过几次明显的代际变化。

互联网早期的创业者，大多是60后。移动互联网时代，主角逐渐变成70后和80后。而现在，AI时代的创业舞台，正在迎来新的主角：00后。他们从小就生活在互联网环境里，接触到的也是全球最前沿的技术。

很多人创业的目标，也不只是做一家赚钱的公司。他们更关心的问题是：AI还能做什么？机器人什么时候真正进入生活？算力和算法还有没有新的突破空间？

当技术开始重新塑造世界的时候，一批新的创业者也在走上舞台。属于00后的AI创业故事，才刚刚开始。