25岁女生带出110亿独角兽 00后AI创业风暴

关键词： 2026-04-07 09:35:32  新浪 25岁女生带出110亿独角兽 00后AI创业风暴。谁说00后只会整顿职场？这届年轻人已经开始在AI领域崭露头角，在创投圈掀起了一股创业风暴。今年3月，25岁的洪乐潼创立的Axiom完成了2亿美元融资，公司成立不到一年，估值达到了110亿人民币，成为全球最年轻的独角兽之一。另一边，北邮大四学生郭航江仅用10天时间就开发出一款名为VibeCoding的AI预测引擎，迅速登顶GitHub，并获得陈天桥3000万元的投资，从实习生一跃成为CEO。还有灵初智能的陈源培、优理奇的杨丰瑜等，他们毫不掩饰自己的野心，对标马斯克和OpenAI。这股AI风暴来势汹汹，甚至有投资人感慨，如果团队里没有00后合伙人，可能都不敢投资。这群出生于国家崛起之时的年轻人，正从追赶者变成领跑者，书写属于00后的黄金时代。潮汕天才少女洪乐潼，仅用一年多的时间将Axiom打造成百亿独角兽。她出生于广州，父母是普通务工者，但她从小展现出极高的数学天赋。高中就读于华南师大附中，是奥数省队中少见的女生。17岁被麻省理工学院录取，三年内修完数学和物理双学位，后来获得罗德奖学金，求学足迹遍及牛津、伦敦大学学院，直至攻读斯坦福博士。洪乐潼创立Axiom并不是为了赚钱。早在2024年深秋，她在斯坦福附近的一家咖啡馆与Meta AI研究总监Shubho Sengupta讨论了几个小时，主题是AI能否真正学会数学推理。不久后，她决定从斯坦福退学，开始创业。洪乐潼注意到AI行业的一个核心矛盾：模型越来越强，但可靠性一直是个问题。Axiom提出了“可验证人工智能”的概念，即让AI的每一步推理都可以被数学验证，而不是靠概率猜测答案。具体做法是使用Lean编程语言将数学证明转化为可执行程序，每一步逻辑都必须通过验证器检查。这套系统在普特南竞赛中表现优异，还自主证明了多个开放数论猜想。