事情发生在12月3日这天，16岁的洪乐潼就把麻省理工学院的毕业资格拿到了手。17岁那年她就带着团队创业了。现在她还成了初创公司Axiom的掌舵人。那家叫Axiom的公司在拿到012亿美元的A轮融资后，估值一下子飙升到了16亿美元，挤进了全球独角兽俱乐部。这次融资由Menlo Ventures牵头，以前的股东们也都跟着投了钱。接下来的2025年12月3日，她还会入选福布斯“30岁以下30人”榜单。公司的估值也在2025年12月就达到了16亿美元。还有这笔2亿美元的融资，也是在2025年发生的。和她一起打拼的团队有30人。他们用AI技术做数学证明引擎。她的公司叫Axiommath.ai。美国老牌风投Menlo Ventures和全体老股东参与了这次投资。她出生于2001年。她的老家在广州潮汕地区。父母没什么文化，每天拼死拼活供她读完高中。洪乐潼在高一就被发现了数学天赋。她进了广东省的英才计划，跟着中山大学的王学钦教授搞研究。后来又在全国中学生数学奥林匹克竞赛（CMO）广东选拔中表现出众。2018年她17岁时就被麻省理工同时录了数学和物理专业。只用了三年就修完了两门本科课程提前一年毕业了。导师觉得当别人都在赶热点的时候，她已经在数学证明自动化的深海里潜水了。她后来还获得了全美女性数学家最高奖Alice T. Schafer奖和中国仅四人入选的罗德学者称号。她去了牛津大学读神经科学，还在伦敦大学学院的盖茨比计算单位做深度学习项目。这段经历让她第一次把数学思维写进了AI代码里。完成了数学、物理、神经科学三段学习后她又对法律和人文产生了兴趣准备读斯坦福的双博士。不过中国科学报去年12月爆料说她退学去创业了。福布斯30岁以下榜单上有她的名字。市场都在好奇这个把数学严谨写进代码的00后到底能怎么重塑AI创业版图呢？答案可能就在她的下一行代码里。