谁能想到？一位从MIT、斯坦福走出的00后留学生，竟成了AI圈最“横”的创业者！
当同龄人还在为美研offer焦头烂额，这位00后早已跳出“常规赛道”。
手握MIT、斯坦福双重求学经历，却毅然休学奔赴AI创业浪潮。
仅用一年时间，就将初创公司打造成估值百亿的AI独角兽；更凭一己之力，拉来57岁数学泰斗、Meta前AI研究总监组成“梦之队”。
顶尖美研背景的底气，从来不止于一纸文凭，更是敢于打破边界、链接全球顶尖资源的硬核实力！
让学术大佬欣然加盟的存在
早在之前，一则消息就已经在学术和AI圈间流传。
57岁的美国数学学会前副会长、弗吉尼亚大学终身教授小野健，离开居住已久的东海岸，带着妻子和狗，一路开车横跨美国，搬到了硅谷。
但他并未选择另一所高校继续学术征程，也没有投身成熟的科技巨头，而是成为一家初创AI公司的第 15号员工。
而这家公司的创始人，正是他曾经的学生，24岁的中国女孩洪乐潼。
在一个讲究资历、头衔和路径的学术世界里，这样的选择几乎可以称得上反常。
那么，这位洪乐潼，到底是谁？
令人仰望的同龄人
出生于普通家庭
洪乐潼2001年出生在广州，父母是从潮汕来到城市打拼的普通务工者，没有接受过高等教育。
在一线城市的叙事里，这样的家庭往往不会被注意到，更不会与“顶尖学术路径”产生联系。
但她的数字天赋很早就显现出不同，初中时，她接触到一个免费的数学奥林匹克培训班，数学不再只是解题工具，而是通往更广阔世界的入口。
高中考入华南师大附中后，她入选广东省中学生英才计划，跟着中山大学教授学数学。在全国中学生数学奥林匹克广东选拔中，她从上千名尖子生里突围，成为仅存的四位女生之一。
那时候，她会在草稿纸的空白处悄悄写上“MIT”三个字母，激励自己坚持下去，顶尖学术之路的萌芽也埋下了一粒种子。
MIT的学术之路
念念不忘，必有回响。2018年，17岁的她真的收到了麻省理工学院的录取通知书，但录取不代表熬出了头，真正的挑战才刚刚开始。
进入MIT之后，她很快意识到，自己并不属于那个已经形成社交和竞赛网络的圈子。
很多同学从小参加美国数学竞赛，彼此熟悉，而她来自完全不同的教育体系。那种“外来者”的感觉，不是成绩可以立刻弥补的。
这种孤立感，是许多留学生在顶尖学校中都会经历的一段阶段。
但洪乐潼并未选择回避，而是积极寻求突破。她加入第一代大学生低收入群体学生组织，参与社团管理，逐渐承担起组织性角色，从努力融入者转变为连接他人的桥梁。
在学术领域，洪乐潼同样展现出惊人的天赋与毅力。她仅用三年便完成数学与物理双学位，本科阶段发表多篇纯数学论文，研究涉及数论与组合学等基础领域。
凭借卓越表现，她先后荣获美国女性数学家最高荣誉之一的爱丽丝·T·谢弗奖，以及面向本科生的顶级研究奖项摩根奖。
与众不同的学术选择
她并未满足于此，而是不断拓展学术边界。作为罗德学者，她前往牛津攻读神经科学；毕业后，又进入斯坦福攻读数学与法律双博士。
当被问及为何选择法律时，洪乐潼表示：“现实世界不仅有科学，还有人文、社会科学。法律如同一个三维向量，能让我跨越整个空间。”
这种看似分散的学习路径，实则是她主动构建认知结构的独特方式，数学赋予她抽象思维能力，生物让她理解复杂系统，法律则提供现实世界的规则框架，这些知识最终在人工智能领域交汇融合。
敏锐识别创业先机
在牛津和伦敦的研究经历，让洪乐潼敏锐地察觉到当时大模型存在的致命问题。
尽管这些模型能力惊人，但本质上仍是基于概率的预测系统，擅长生成看似合理的答案，却缺乏对“为何正确”的严格保证。
在内容生成领域，这种不确定性或许尚可接受，但在金融、工程甚至国防等高风险场景中，却意味着不可控的风险。
这一问题并非无人察觉，但很少有人愿意从底层去解决，因为这意味着要挑战让AI具备类似数学证明推理能力的艰难方向。
2024年秋天，在斯坦福附近的一家咖啡馆，洪乐潼与当时在Meta从事AI研究的舒博·森古普塔达成共识：AI 的发展不应止步于“生成”，而应迈向“验证”。
这次交流成为洪乐潼人生的转折点，她做出了一个大胆且激进的决定。
退学投身创业浪潮
洪乐潼将公司命名为Axiom，意为公理。在数学体系中，公理是最基础、不可再证明却决定一切的起点，这个名字彰显了公司从根本上重构AI推理方式的坚定决心。
与主流AI公司不断扩展模型规模的做法不同，Axiom选择了一条更为缓慢且冷门的路径，形式化数学与自动证明。
通过利用数学语言对推理过程进行编码，确保AI的每一步推导都能被验证，这不仅是对模型的优化，更是对AI思考方式的深刻变革。
在短短不到一年的时间里，公司吸引了一批来自顶级AI机构的研究者加入，其中包括曾在Meta从事核心研究的科学家。这些人拥有丰富的资源和众多选择，他们之所以选择Axiom，就是因为看重公司方向本身所蕴含的巨大价值。
资本市场的反应也印证了这一点，公司成立仅一年，便完成2亿美元A轮融资，估值约合人民币110 亿元，迅速进入高速扩张阶段。
又是谁的一辈子...慕了慕了！
最后
洪乐潼的故事，很容易被归类为“天才”的个案。但如果把时间轴拉长，会发现这并不是孤立事件。
从广州的普通家庭，到MIT、牛津、斯坦福，再到硅谷的创业公司，这条路径并不是可以复制的模板。但它提供了一种更重要的参考：在一个快速变化的时代，路径本身并不是最关键的，关键是选择解决什么样的问题。
那些真正重要的问题，通常不会看起来性价比高，也不会在短期内给出回报。但一旦被解决，它们会重新定义整个领域。
