00后正在改写世界！25岁华人女生退学创业，公司估值16亿美元！

00后，正在改变世界。

25岁的华人姑娘洪乐潼，已经走完了很多人一辈子都走不完的路。

这个名字，最近开始频繁出现在科技圈和投资圈的讨论中。不是因为她拿了什么奖，也不是因为进了哪家大厂，而是因为她做了一件更“极端”的事从斯坦福大学退学，去创业。

而且一出手，就是一家估值16亿美元的公司。

这家公司叫Axiom Math，刚刚完成了2亿美元融资，背后的投资方包括Menlo Ventures、Greycroft和Madrona Venture Group。

团队只有20多人，但阵容却异常“豪华”。成员来自Meta的FAIR实验室、Meta的GenAI团队，以及原Google Brain（后来并入DeepMind）。这些人，几乎都是被她一个个拉进来的。

如今已经被资本市场押上重注。

但如果你把她的履历往前翻，会发现这并不是“运气”。

这个年轻的姑娘出生在广州，父母没有高学历背景。中学阶段，她进入华南师范大学附属中学，入选广东省中学生英才计划，随后赴美进入麻省理工学院（MIT）。

她在MIT只用了三年，就完成了数学和物理双学位，还修了20门高等数学课程，发表了9篇论文。

全美诠释了什么叫真正的学霸。

毕业后，她去了牛津大学读神经科学硕士，同时在伦敦大学学院做AI和机器学习研究。

博士期间，她又回到了美国斯坦福，准备同时攻读数学博士和法学博士。

按照传统路径，这几乎已经是“稳进顶级学术圈”的剧本。

但她没有走下去。

她选择了一个更不确定、但也更野心勃勃的方向：创业。

她给公司的名字叫“Axiom”，意思是“公理”。她想做的事情也很直接：打造“AI数学家”。

不是会算题的AI，而是能像数学家一样去证明、去验证的系统。

现实社会中，数学是很多学科的基础，但它长期以来并不直接对应商业价值。直到AI出现，这个逻辑开始发生变化。

现在的AI可以写代码、做预测，但有一个致命问题。你很难确定它是不是完全正确的。

而洪乐潼想做的，是用数学的方法，让AI不仅能“写”，还能“证明自己写的是对的”。

如果这件事成功，它的价值将是无价的。它会直接影响金融、量化交易、甚至整个软件世界的底层安全逻辑。

所以她的第一批客户，并不是普通用户，而是对冲基金和量化交易公司，这些最依赖复杂数学模型、也最怕错误的行业。

2024年8月，洪乐潼做了一个大胆的决定刚从斯坦福退学。

几乎同时，她拿到了960万美元种子轮融资。短短时间内，公司又完成2亿美元A轮，估值冲到16亿美元。

她才25岁。

但她做的事情，已经不是“年轻创业者”的故事了。