25岁广州数学天才少女从斯坦福辍学，1年干出110亿独角兽！父母是普通务工者！

“你简直是我们在寻找的最顶尖的数学大脑！”

2024年深秋的一天，Meta AI的一位研究总监见到了正在喝咖啡的洪乐潼，忍不住的夸赞她。

洪乐潼本以为这种夸赞只是一场对学术的探讨，但她绝对不知道，此时只要她顺着脑子里的那个想法走下去，半只脚就算是迈进了硅谷创投圈的深水区。

好在，洪乐潼自知满脑子都是硬核技术，所以毫不避讳的接下了话茬。

没几天后，她身边又多出了一帮顶级的硅谷大佬，为洪乐潼梳理完那个叫Axiom的技术路线后，也同样说：“用Lean编程语言来解决AI的幻觉，简直就是目前科技圈最理想的方案。”

当时大佬们为洪乐潼讲述了底层技术的广阔前景，并邀请她一起辍学去干笔大买卖。

从小出生在广州普通打工家庭的洪乐潼，觉得这是个好机会，于是便办理了斯坦福双博士的退学手续，而这也成了重塑她整个人生轨迹的一个抉择。

那么，一个父母连大学都没上过的普通家庭女孩，为什么偏偏就让这帮大佬给盯上了呢？

这就不得不说在当时的AI时代下，人工智能一些奇奇怪怪的缺陷和资本的焦虑。

早些年，一帮科技巨头把大模型搞得火遍全球，人们认为能写诗画画的AI，是高级工具，但又发现AI在做数学推理时，总爱一本正经地胡说八道，无法像数学家一样自我检查，是极容易产生“幻觉”的低级漏洞。

所以，对于AI大模型究竟能不能绝对可信这个问题，科技圈的顾虑从未消散过。

而那个时候，洪乐潼不知从何时开始，就把数学这个东西玩到了极致，高中时就成了华师附中奥数省队极少数的女生，数学越好，越能得到顶尖名校的喜爱。

所以，极高的天赋和毅力，洪乐潼都拥有，当洪乐潼被麻省理工录取后，只要她在学术圈露面几乎所有导师的目光都聚集在了她的身上。

由于洪乐潼的履历实在太特殊，17岁读大学，仅用3年就拿下物理数学双学位，发了9篇高水平论文，甚至拿下了被誉为“本科诺贝尔奖”的罗德奖学金去牛津读硕，所以她的名声很快在圈内传播开来。

而此时，洪乐潼那颗想要打造“AI数学家”的真正野心才展现出来。

当时，有很多顶级的技术团队，找到洪乐潼，希望结合AI与形式化数学语言展示机器推理的严谨性，洪乐潼毫不犹豫地答应了，研究一天接一天，时间安排得非常满。

同时，接下这块最难啃的底层技术骨头，也能让公司未来服务量化交易赚到不少钱。

洪乐潼起初对赚钱这件事想得很明白，认为只要乖乖让AI像数学家一样严谨推理，就能创造极高的商业价值，于是她在实验室卖力的敲打代码，几乎每一次验证都稳扎稳打。

可是当外界质疑这种硬核数学怎么赚钱的时候，她不仅没有躲闪，还表示数学能创造价值就是因为它能自我验证，怎么好意思说数学变现难的。

后来的日子Axiom频繁的出现在各种学术权威的视野中，前来关注的人倒不是真的只看好洪乐潼的学霸光环，而是将她的系统当作解决AI幻觉漏洞的救命稻草一般观看研究。

在系统跑通后，Axiom竟然不用人干预，就自动攻克了悬置数十年的两道埃尔德什数学难题。

那个时候，洪乐潼明显的感觉到，创业做底层技术的压力，远不及留在名校安安稳稳读博好受。

但是她已经不想回去了。

Axiom大约在成立的几个月后，因为攻克了底层的技术难关，资本大家都看嗨了，于是各大机构纷纷把她推向了更高的独角兽神坛继续吸金。

公司成立后，按理说应该慢慢招人按部就班的发展，但并没有，因为当时Axiom无人干预的证明突破震惊了学术界，同时也让一大批做投资的资本大鳄来了兴趣。

他们先是接触了这支小而精锐的团队，而后对Axiom的技术底层进行了深度的评估，分析这套AI数学家的构造。

起初在一般的应用层面上，并没有什么新奇的发现，而到了核心的推理机制时，这些投资人发现，洪乐潼干的事与常人非常不同。

所以，这些大佬为了夸大这块市场的红利，将Axiom和此前他们见过的只会套壳的AI项目列为了更具颠覆性的独角兽物种。

这简直是匪夷所思，可想而知当时的创投圈对底层技术有多么的疯狂。

最主要的是，这00后女孩给出的技术路径，还让许多学术界的泰斗所认可。

当时就有一位57岁的著名数学家Ken Ono联系到洪乐潼，作为曾指导过她的终身教授，人家硬是辞去了教职，希望能全职加入这家公司发光发热。

别看资本大佬们说的如此好听，实际上他们是想用Axiom防漏洞的底层壁垒，再赚一次长久的大钱。

当时顶级资本们就做了个决定，那就是豪掷资金，无条件押注在洪乐潼的身上。

公司在接到这些真金白银后，先是进行了疯狂的顶尖人才扩充，而后将他们的产品一同放在了国际前沿的舞台上对外展出。

这帮投资方早先就靠押注硬核科技而出名，如今又有了洪乐潼这种天才的加入，使得看好数学AI赛道的人更多。

洪乐潼的事迹不仅在硅谷被传开，同时大洋彼岸的国人也了解到了全貌，不过在当时，大家总觉得普通务工家庭底子薄，根本不可能做到像她一样重塑创投圈的规则。

还是后来时代的发展，才有人站出来，揭示了00后重塑创投规则的本质，并要求大家认清底层技术比应用层更值钱的现实。

但是这也只是少部分人的清醒，对普通家庭出不了天才的偏见依然存在，呼声还是渺小。

2025年，随着技术的演进，越来越多的顶级机构开始为Axiom掏钱，创始人洪乐潼也倍感压力，于是在成立仅数月就拿下了大约6400万美元的种子轮融资，带领公司全速运转不再停留。

到了今年3月，眼红的资本大佬又给公司上了压力，要求必须把估值再往上提一提，结果老股东全线跟投赖着不走，硬塞了2亿美元的A轮，说投后估值达到110亿人民币才能罢休。

后来在许多顶尖人才的努力下，终于集齐了“数学即服务”的商业闭环，又在多方资本的帮助下，才从大厂的围剿里抢占了“可信AI”的高地。

跨越了常人不敢想的辍学抉择，普通务工家庭出身的洪乐潼才安稳的向所有人证明了：

只要极致热爱加上精准赛道，敢于“退一步”追大梦想，这个时代依然属于拥有硬核能力的新一代。