退学斯坦福，25岁女孩创造AI奇迹

你有没有想过，一个25岁的女孩，能在AI领域掀起怎样的风浪？

就在昨天，投资圈被一则消息刷屏了！一位来自广州的00后女孩，从斯坦福退学创业，短短1年时间，公司估值就冲到了110亿！

这不是什么天方夜谭，而是正在发生的真实故事！

💡 咖啡馆里的决定：从博士到创始人

2024年深秋的一个周末，23岁的洪乐潼在斯坦福附近的一家咖啡馆，见到了Meta AI研究总监Shubho Sengupta。

几个小时的深入交流，两人碰撞出了一个大胆的想法：用AI解决世界上最棘手的数学问题！

就在那次谈话后，洪乐潼做出了一个让所有人震惊的决定——从斯坦福大学退学，全身心投入创业！

要知道，她当时正在攻读斯坦福大学的数学博士和法学博士双学位！这样的机会，多少人梦寐以求！

但她却说：“内心深处最想要解决真正困难的技术问题。”

🌟 成立1年，估值110亿的独角兽

洪乐潼创立的AI公司Axiom，刚刚完成了2亿美元的A轮融资！

领投方是硅谷顶级风投Menlo Ventures，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码！

更惊人的是，公司成立不到1年，估值已经高达16亿美元（约合人民币110亿）！

这是什么概念？

从0到独角兽，只用了不到12个月！这样的成长速度，在AI领域堪称奇迹！

⚠️ AI行业的“定时炸弹”：代码无人验证

你可能不知道，现在的AI行业面临着一个巨大的隐患！

大模型能力越来越强，但可靠性却始终是个“黑盒子”！

日常聊天中的“胡说八道”可能无伤大雅，但在金融、医疗、国防等关键领域，任何基于概率的错误都可能酿成灾难！

“我们正步入一个人工智能几乎可以编写所有软件的世界，但背后隐藏着几乎无人提及的问题：所有代码都未经验证，这将是巨大的风险！”

Menlo Ventures的合伙人Matt Kraning一针见血地指出。

💡 Axiom的解决方案：可验证人工智能

洪乐潼和她的团队找到了破解之道——可验证人工智能（Verified AI）！

简单来说，Axiom的核心优势在于形式化验证：通过Lean编程语言，将数学证明转化为可执行程序，从根本上确保结果的正确性！

在这里，大模型不再是基于概率去“猜”答案，而是将代码转化为严格的数学逻辑，证明出结果！

每一步推理，都必须通过确定性验证器的检验！

“科学突破往往需要两步：提出假设，再用证明去验证。我们创立Axiom，就是要无限压缩把好奇心转化为真理的时间。”

洪乐潼这样解释公司的使命。

🌟 天才少女的“开挂”人生

洪乐潼的故事，简直就是现实版的“别人家的孩子”！

• 2001年出生于广州，父母是潮汕人。中学就读于广东名校华南师范附中，高中时期就是数学奥林匹克省队唯一四名女生之一！
• 2019年考入麻省理工学院，攻读数学和物理双学位！
• 2022年拿到牛津大学罗德奖学金，成为仅有的四名中国获奖者之一！这可是有“本科诺贝尔奖”美誉的顶级奖学金！
• 在英国牛津大学获得硕士学位后，2024年8月进入斯坦福大学攻读数学博士和法学博士！

但就在博士就读期间，她毅然选择退学创业！

💡 组建“梦之队”：吸引世界级人才

最让人佩服的是，洪乐潼不仅自己优秀，还能吸引世界顶级人才加入！

Axiom的核心团队堪称“梦之队”：

• CTO Shubho Sengupta曾任Meta AI研究总监，参与过Google分布式训练系统的研究工作！
• 核心科学家François Charton，是率先将Transformer模型引入数学领域的先驱！
• 最震撼的是，创始数学家Ken Ono毅然辞去了弗吉尼亚大学的终身教职，全职加入Axiom！这位囊括了古根海姆奖、斯隆奖等无数顶尖荣誉的数学领域权威、前美国数学学会副会长，在长达四十年的执教生涯中，曾指导过十位摩根奖得主，洪乐潼正是其中之一！

“她兼具深厚的数学功底、惊人的运营效率，以及吸引世界一流人才的能力。这是我过去二十年的硅谷生涯中，见过的最令人印象深刻的创始人，没有之一！”

一位投资人感慨。

⚠️ 00后集体登场：AI成为年轻人的主场

洪乐潼的故事不是个例！AI浪潮，已经成为00后的主场！

• 就在上周，成立仅一年多的公司灵初智能宣布完成20亿元融资，其联合创始人陈源培出生于2001年！
• 优理奇创始人杨丰瑜，同样是位00后，博士毕业于耶鲁大学！
• 四位00后创立的AI编程公司Anysphere，估值冲到了约290亿美元！
• 19岁华裔女孩Serena Ge创办的AI数据公司Datacurve融资上亿！
• AI初创公司Mercor的三位22岁联合创始人，成为全球最年轻的白手起家富豪！

《2026胡润U40全球白手起家富豪榜》显示，AI领域共诞生27位十亿美金企业家，平均年龄仅32岁！

💡 为什么必须是年轻人？

“每一个时代的创新，往往都是年轻人先跑出来，因为年轻人没有包袱。”

纪源资本管理合伙人符绩勋曾这样分析。

一个时代有一个时代的创新，一个时代也会形成一种惯性，甚至形成一种包袱。

在技术重构世界的前夜，没有包袱，往往就是最好的行囊！

不止一位投资人感慨，短短两三年间涌现出的这批年轻AI创业者，无论视野、格局还是破局的韧性，都展现出了超越年龄的成熟！

甚至有投资人坦言，如果团队里没有00后核心合伙人，可能就不投了！

🌟 洪乐潼的朋友圈自勉

“祝自己做花也做树。缤纷热情，孤离兀立。”

在创立Axiom期间，洪乐潼曾在朋友圈写下这样的自勉。

这句话完美诠释了她的创业哲学——既要像花一样绽放热情，又要像树一样独立坚强！

如今，Axiom拥有30多名员工，招聘速度还在不断加快。属于她的那个故事，才刚刚写下第一笔！

金句分享： 在技术重构世界的前夜，没有包袱，往往就是最好的行囊！

互动话题： 你觉得00后创业者最大的优势是什么？是技术敏感度、学习能力，还是敢于打破常规的勇气？

如果你也被这个故事激励到了，记得点赞+分享！让更多人看到中国年轻一代的创新力量！