广州数学天才少女25岁拿下超14亿融资，公司估值110亿

问AI · Axiom的AI系统如何革新代码验证行业？

毕业于麻省理工学院和牛津大学的25岁广州数学天才少女洪乐潼，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元，约合人民币110亿元。

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

洪乐潼的公司取名Axiom（公理），目标是创造“AI数学家”。一群数学家在捣鼓的业务，简而言之，就是打造能自动验证计算机代码的AI系统，原理类似于数学家证明复杂数学难题。

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

3月中旬，洪乐潼宣布，从Menlo Ventures, Greycroft and Madrona等风投公司，筹集到2亿美元A轮融资，约合人民币14亿元。目前，Axiom拥有20多名员工，洪乐潼忙着招兵买马。她在海外社交平台上频繁发布招聘信息，寻找有志于“用AI做数学”的同路人。