洪乐潼
罗德奖学金获得者
条目
洪乐潼（Carina Letong Hong），来自广东省广州市，2001年出生于广州市天河区，毕业于美国麻省理工学院，2022年中国罗德奖学金获得者、初创公司Axiom Math创始人。[1][2]
洪乐潼在华南师范大学附中就读期间，她加入广东奥数省队，多次在“华罗庚金杯”、全国高中数学联赛中获奖。[2]2019年，洪乐潼进入麻省理工学院攻读数学与物理双学位。在校期间，她曾担任数学协会主席，并修读了20个硕博课程，发表多篇高质量学术论文，涉及模椭圆曲线与K3曲面的L函数、月光猜想、弹出栈排序 算法研究等领域。[3][4]洪乐潼还在《Proc. Amer. Math. Soc.》《J. Number Theory》等期刊发表9篇论文，主题涵盖分拆同余、模形式与组合计数。[3]2022年10月，洪乐潼凭借罗德奖学金前往牛津大学攻读神经科学硕士。2024年，她进入斯坦福大学攻读数学与法学双博士，并于同年秋天洪乐潼和Meta AI研究员Shubho Sengupta共同创立Axiom Math。[5]之后，洪乐潼从斯坦福退学。[1][2]2025年11月，洪乐潼创立的人工智能初创公司Axiom Math宣布完成首轮6400万美元（约合4.6亿元人民币）融 资。[2]洪乐潼创立的Axiom Math（投后估值达3亿美元），其团队研发的Axiom Prover系统在1天内攻克悬置30年的埃尔德什第124题，并在5小时内推翻埃尔德什第481题现有结论。该项目核心团队汇聚Meta前人工智能专家及弗吉尼亚大学终身教授小野健（Ken Ono）等学者。[6][7][8]
2021年11月17日， 罗德基金会宣布了2022年中国罗德奖学金得主选拔结果，洪乐潼入选。[9]2022年，洪乐潼荣获2022年度爱丽丝·谢弗奖（Alice T. Schafer Prize）。[1]洪乐潼还曾获得表彰北美地区数学专业本科生杰出研究的AMS-MAA-SIAM摩根奖。2025年12月3日，洪乐潼入选“福布斯30岁以下30人”榜单。[6]