从罗德学者到AI创业者：00后洪乐潼用AI证明数学

来源|中访网

作者|一杭工作室

3年完成MIT数学与物理双学位，2021年斩获每年5万英镑的牛津大学罗德奖学金（当年全球仅4名中国学者获此殊荣），4年后其创业项目Axiom估值约3亿到5亿美元——这些非凡成就的背后，是一位“00后”广州女性：洪乐潼（Carina Hong）。

据The Information消息，斯坦福华人数学博士洪乐潼(Carina Hong)已开启AI创业，她创办了数学AI模型公司Axiom，该公司正在筹集目标为5000万美元的融资，公司估值预计3-5亿美元。Axiom旨在为对冲基金、量化交易机构等客户提供复杂数学问题的快速解决方案，核心目标是开发可以解决实际数学问题的AI。洪乐潼透露，Axiom的技术将专注于“严格证明”，而非仅提供答案。

值得注意的是，洪乐潼6月6日在知乎回应称，“The Information泄露了我们（并不准确）的融资信息，这些媒体报道是未经我们允许的。”

尽管如此，早在今年3月和4月，她就已在知乎多个关于“AI交互数学”的话题下留言，公开招募AI数学领域人才。

公开资料显示，洪乐潼是一名标准的00后，来自广东省广州市。洪乐潼的社交媒体主页上写着：to love math is to see the face of God，即“热爱数学，就是看见上帝的面容。”

自幼年起，洪乐潼便展现出对数学的浓厚兴趣。中学阶段就读于华南师范大学附属中学，入选2017年广东省中学生英才计划，师从中山大学数学与计算科学学院和中山医学院双聘教授王学钦，并在"华罗庚金杯"数学竞赛、全国高中数学联赛等多项赛事中屡获佳绩。

2019年，洪乐潼进入美国麻省理工学院，主修数学与物理双学位。本科期间，洪乐潼荣获由女性数学协会每年颁发给全美一名本科女生的2022年度爱丽丝·T·谢弗奖，以及北美数学本科生最高荣誉——摩根奖，成为该奖项历史上第五位女性得主。同时，她还担任了校数学系学生会主席、第一代大学生联盟的多元平等活动倡议委员会长、物理学生会学术发展部长与国际学生会财务部长。

2022年，洪乐潼怀揣罗德奖学金赴英国牛津大学攻读神经科学硕士学位，期间同时在伦敦大学学院开展人工智能与机器学习研究，她曾表示：“探索人工智能与科学家的未来互动模式，将是我后续的重点研究方向。”2024年8月，洪乐潼进入斯坦福大学，同时攻读数学博士与法学博士学位。

洪乐潼并非第一个切入AI创业赛道的00后，她的MIT同门师兄——Michael Truell创立的Anysphere最近完成新一轮9亿美元融资（约合人民币65亿元），估值达90亿美元（约合人民币650亿元），成为今年最火AI编程独角兽。

而在两个月前，AI招聘网站Mercor宣布完成1亿美元B轮融资，估值达到20亿美元（约合人民币145亿元），公司创始人同样是三位00后。大二那年，三人在宿舍里创立Mercor，决定从哈佛及乔治敦大学退学全职创业。只用了两年时间，公司一跃成为百亿级别独角兽。

在国内，AI领域同样涌现出新生代创业者。具身智能公司UniX AI由2000年出生的杨丰瑜创立，他本科就读于密歇根大学计算机专业，博士毕业于耶鲁大学后回国创业，成为国内具身智能领域的重要力量。

正如英伟达CEO黄仁勋所言：“未来十年，AI将成为无所不在的社会基础设施，融入每一个地区、行业和公司。”在这个浪潮中，洪乐潼和她的同行正以惊人的速度重塑AI的未来格局。