2025年3月，25岁的广州女孩洪乐潼宣布：她创办的AI公司Axiom完成2亿美元A轮融资，估值冲上16亿美元，约合110亿人民币。公司成立仅一年，团队不过20人，父母是普通务工者——没有资源，没有人脉，只有一身数学天赋。
而她的公司，正在解决一个困扰全球AI界多年的根本问题：如何让AI不再胡说八道？
一、咖啡馆里诞生110亿独角兽
洪乐潼的故事，是从一杯咖啡开始的。
2024年，在斯坦福大学攻读数学与法学双博士的她，与时任Meta AI研究总监Shubho Sengupta在咖啡馆闲聊时，聊到了一个直击行业痛点的话题：AI能否真正掌握数学推理？
洪乐潼敏锐地发现了当前AI的致命软肋：大模型基于概率猜词的推理过程，就像一个无法打开的黑盒。日常聊天中胡说八道或许无伤大雅，但放在金融量化、医疗诊断等关键领域，1%的概率错误可能酿成灾难。
这一次对话，彻底改变了她的人生轨迹。洪乐潼果断从斯坦福退学，创立了Axiom——公司名称取自数学术语公理，她的野心从一开始就很明确：打造可验证AI（Verified AI），让AI的推理过程像数学证明一样，严丝合缝。
2026年3月，A轮融资2亿美元到账，这家成立仅一年多的公司，正式跻身全球独角兽行列。
二、AI满分碾压百年数学竞赛，让数学泰斗甘愿打工
Axiom的核心技术，是用Lean编程语言让AI生成可被100%验证的输出——相当于给大模型的输出加了一道数学锁。
成果来得令人窒息：
2025年12月，Axiom的核心推理系统参加北美最难的大学生数学竞赛——普特南（Putnam）数学竞赛，斩获满分。在这项赛事近百年历史里，全人类只有5个人做到过。
随后，系统在无人工干预的情况下，1天内证明了悬置20年的数论猜想，又用5小时攻破了埃尔德什问题集中两大难题。全球数学界为之震动。
见证了系统的潜力后，57岁的数学泰斗小野健（Ken Ono）——弗吉尼亚大学终身教授、埃尔德什奖得主——做了一个让所有人意外的决定：辞去终身教职，加入Axiom当研究员。昔日的学生，如今成了他的老板。
除了小野健，Axiom还挖来了前Meta AI研究总监任CTO、最早将Transformer应用于复杂数学问题的法国数学家François Charton……这家20人的公司，堪称全球AI+数学领域最顶尖的梦之队。
三、被逐出自己公司，却靠5%股份躺成90后女首富
洪乐潼并非孤例。在全球科技疆场，一群年轻华裔女性正在集体崛起。
32岁的郭露西（Lucy Guo），与洪乐潼有着惊人相似的轨迹：名校退学、硅谷创业。更戏剧性的是，她曾被自己一手创办的公司Scale AI扫地出门。
2016年，19岁的郭露西与同样来自MIT的辍学生汪滔，在旧金山一间漏风的地下室里创立了Scale AI，专做AI数据标注。2018年公司起飞后，两位创始人爆发严重分歧——汪滔主张激进扩张，郭露西坚持精细打磨。最终，她被联合创始人联合董事会逐出公司。
但郭露西没有崩溃。她离开时没有套现，而是保留了手里近5%的股份。当时公司估值不高，这5%看起来不值一提。但她赌对了：随着生成式AI爆发，Scale AI成为OpenAI、Meta、特斯拉的核心供应商。2025年6月，Meta以143亿美元收购Scale AI约49%股份，公司估值飙升至290亿美元。
郭露西那5%的股份，一夜之间价值12.5亿美元（约合90亿人民币）。她成为世界上唯一一位在退出自己创办的公司后，仍靠创始股份躺赢跻身亿万富翁的女性——也是2026年全球90后白手起家女首富。
四、知识，正在以我们从未见过的方式兑现
不只是洪乐潼和郭露西。Deel创始人王硕，16岁移民美国闯进MIT，5年干出1730亿估值的全球HR科技巨头；郭文景从斯坦福AI博士项目退学创办AI视频公司Pika，在OpenAI Sora的阴影下杀出一条血路，估值冲到34亿……
这群年轻华裔女性创业者，画像惊人一致：
顶尖名校光环（MIT、斯坦福、牛津是标配），却敢在最关键时刻退学赌风口；横跨数学、神经科学、法学的复合知识结构；以及一种在斯坦福我是消费者知识，在这里我每天都在创造知识的清醒。
上一代女性企业家，在制造业和房地产的泥泞中完成了财富积累；而这一代，正在用代码、大模型和全球化视野，重写财富的规则。
五、你的25岁，在做什么？
洪乐潼的故事之所以让无数人破防，不仅因为110亿的数字，更因为它击中了我们内心深处的某种焦虑：
当她用数学公理锁住AI胡说八道的时候，当57岁的世界级数学泰斗甘愿给她打工的时候，当她退学创业的速度比大多数人完成博士学业还快的时候——我们是否跟上了这个时代的要求？
知识改变命运，但改变命运的，从来不只是知识本身。它需要洞察力、行动力，以及在关键时刻敢于all in的那份勇气。
你怎么看？你觉得天才的成功可以复制吗？评论区说说你的看法。
觉得有收获就点个赞、在看、收藏，我们下期见！
