关于ZAKER 合作
钛媒体 1小时前

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 创业故事,才刚刚开始。

相关标签

觉得文章不错,微信扫描分享好友

扫码分享

企业资讯

查看更多内容