中国“21世纪经济报道”指出，毕业于麻省理工学院和牛津大学的25岁广州数学天才美女洪乐潼，自斯坦福大学辍学创业，成立初创公司Axiom Math，目前传出已于获得2亿美元融资，公司市值估计达到16亿美元。

广州出生的洪乐潼（Carina Hong），双亲并无高学历。公开资料显示，洪乐潼曾就读华南师范大学附属中学，入选2017年广东省中学生英才计划。

洪乐潼大学就读美国麻省理工学院，用三年完成数学与物理双学位学业，并修读了20门高等数学课程，在此期间还发表了9篇论文。

2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士， 但随后就退学创办Axiom Math，目标是建立数学超级智慧。

洪乐潼曾表示，她热衷于用AI来做数学，“数学怎么赚钱？我们从一开始就面临这个挑战。现在，商业信号已经清晰很多，数学能创造价值，是因为它能自我验证、自我检查。”

21世纪经济报道指出，洪乐潼的公司取名Axiom（公理），目标是创造“AI数学家”。简而言之，就是打造能自动验证计算机代码的AI系统，原理类似于数学家证明复杂数学难题。

其价值在于，用AI写代码，无法知道代码何时存在漏洞。凭借这个想法，2024年8月，洪乐潼就拿下了960万美元种子轮投资。

在她的设想中，未来Axiom的产品，可服务于对冲基金和量化交易公司，快速解决与资产定价、股市预测相关的复杂数学问题。

洪乐潼日前宣布，从Menlo Ventures、Greycroft and Madrona等创投公司，筹集到2亿美元A轮融资。Axiom目前拥有20多名员工，洪乐潼还在海外社交平台频繁发布征才信息，寻找有志于“用AI做数学”的伙伴。