本硕博就读于世界顶级高校，25岁退学创业，公司现估值超过110亿，57岁顶尖数学教授辞职甘愿为其打工，你能相信，这些事情都发生在一个25岁的广东姑娘身上吗？ 这个自带传奇buff的女孩，是来自广州的女孩洪乐潼。洪乐潼生于广州，父母都是普通的务工人员，但洪乐潼的数学天赋从小就藏不住。14岁那年，她在草稿纸边缘一笔一划写下“MIT”三个字母，把目标定在了麻省理工。 生于2001年的洪乐潼，中学毕业于名校华南师范大学附属中学。17岁那年，洪乐潼被麻省理工录取，同时选修数学和物理双专业，本科毕业后考入牛津大学，攻读神经学，此后又被斯坦福大学录取，双修数学和法学双博士学位。 让人意外的是，就在进入斯坦福大学的当年秋天，洪乐潼决定放弃学业，退学后开始创业。对她的选择，很多人大为不解，放着大好前程的学术路不走，偏偏去闯充满未知的AI赛道，可洪乐潼有自己的想法，她发现Lean这种自验证数学语言，能解决AI写代码的漏洞问题，而这正是数学能落地的机会。 随后，洪乐潼创办了Axiom，她的目标很简单，要开发“AI数学家”，既能攻克困扰数学界的难题，也能帮企业解决实际问题。短短一年多，她的团队就攻克了两道埃尔德什难题，拿下2亿美元融资，估值冲到110亿。 洪乐潼从小就展现出超乎常人的数学天赋，从小到大参加过各种大大小小不同级别的数学竞赛。2022年，尚在牛津读书的洪乐潼，获得罗德奖学金，这个奖创立于1903年，由英国塞西尔·罗兹设立，是全球首个且历史最悠久、最具影响力的国际研究生奖学金，素有“全球青年诺贝尔奖”之称。 想当年，不到20岁的比尔盖茨从哈佛大学退学，在车库里开始创业，后来创立了微软，并成为世界首富。25岁的洪乐潼，这位被称为数学天才的姑娘，不知道能给世人带来什么样的惊喜。