洪乐潼成立的公司Axiom Math，目前传出已于获得2亿美元融资，公司市值估计达到16亿美元。(图取自领英网页)中国“21世纪经济报导”指出，毕业于麻省理工学院和牛津大学的25岁广州数学天才美女洪乐潼，自斯坦福大学辍学创业，成立初创公司Axiom Math，目前传出已于获得2亿美元融资，公司市值估计达到16亿美元。#本周热读 #独家 当今世界最杰出的数学家之一的Ken Ono离开大学前往硅谷，追寻数学超级智能的奥秘。他跳槽去了一家由他以前的学生洪乐潼创办的公司；这位学生的履历光鲜亮丽，足以让AI都自愧不如。https://t.co/H43I5JLFIV
— 华尔街日报中文网 (@ChineseWSJ) December 6, 2025
广州出生的洪乐潼（Carina Hong），双亲并无高学历。公开数据显示，洪乐潼曾就读华南师范大学附属中学，入选2017年广东省中学生英才计划。洪乐潼大学就读美国麻省理工学院，用三年完成数学与物理双学位学业，并修读了20门高等数学课程，在此期间还发表了9篇论文。
2022年，洪乐潼赴牛津大学攻读神经科学硕士学位，期间还在伦敦大学学院进行AI和机器学习研究。2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士， 但随后就退学创办Axiom Math，目标是创建数学超级智能。
洪乐潼曾表示，她热衷于用AI来做数学，“数学怎么赚钱？我们从一开始就面临这个挑战。现在，商业信号已经清晰很多，数学能创造价值，是因为它能自我验证、自我检查。”
AI 是真的能让人挣钱，而且是暴富，毕业于麻省理工学院和牛津大学的25岁广州数学天才少女洪乐潼，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元，约合人民币110亿元。洪乐潼的公司取名Axiom，目标是创造批量 AI 数学家。 pic.twitter.com/x5rQMP45FR
— 李坏之 (@lihuaizhi) April 6, 2026
21世纪经济报导指出，洪乐潼的公司取名Axiom（公理），目标是创造“AI数学家”。简而言之，就是打造能自动验证计算机代码的AI系统，原理类似于数学家证明复杂数学难题。
其价值在于，用AI写代码，无法知道代码何时存在漏洞。凭借这个想法，2024年8月，洪乐潼就拿下了960万美元种子轮投资。在她的设想中，未来Axiom的产品，可服务于对冲基金和量化交易公司，快速解决与资产定价、股市预测相关的复杂数学问题。
洪乐潼日前宣布，从Menlo Ventures、Greycroft and Madrona等创投公司，筹集到2亿美元A轮融资。Axiom目前拥有20多名员工，洪乐潼还在海外社交平台频繁发布征才消息，寻找有志于“用AI做数学”的伙伴。
