25岁广州数学人才 新创公司获2亿美元融资

毕业于麻省理工学院与牛津大学的25岁广州数学神童洪乐潼，在进入史丹福大学深造后选择辍学，创立初创公司Axiom Math。最新消息指出，该公司已获得约2亿美元（约8.05亿令吉）融资，估值达16亿美元。

洪乐潼出生于广州，家庭背景普通，父母并无高学历。资料显示，她曾就读华南师范大学附属中学，并入选2017年广东省中学生英才计划。随后，她进入麻省理工学院，仅用3年时间完成数学与物理双学位，期间修读约20门高等数学课程，并发表9篇学术论文，展现出卓越的学术能力。

2022年，她前往牛津大学攻读神经科学硕士学位，并在伦敦大学学院从事人工智能与机器学习相关研究。2024年8月，洪乐潼进入史丹福大学攻读数学博士及法学博士项目，但不久后决定退学，创办Axiom Math，致力于打造“数学超级智能”系统。

热衷“用AI做数学”

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

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

其价值在于，用AI写代码，无法知道代码何时存在漏洞。凭藉这个想法，2024年8月，洪乐潼就拿下了960万美元种子轮投资。在她的设想中，未来Axiom的产品，可服务于对冲基金和量化交易公司，快速解决与资产定价、股市预测相关的复杂数学问题。

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