25岁数学天才拿下超14亿融资 AI数学家的崛起[推荐]

25岁数学天才拿下超14亿融资 AI数学家的崛起！25岁的广州数学天才少女洪乐潼毕业于麻省理工学院和牛津大学，后从斯坦福辍学创业。她创立的公司Axiom最近获得了2亿美元融资，估值达到16亿美元，约合人民币110亿元。

洪乐潼热衷于用AI来做数学，认为数学能创造价值，因为它能自我验证、自我检查。她的公司目标是创造“AI数学家”，即打造能够自动验证计算机代码的AI系统，原理类似于数学家证明复杂数学难题。这种技术可以帮助发现代码中的漏洞，从而提高软件的安全性和可靠性。

洪乐潼设想未来Axiom的产品可以服务于对冲基金和量化交易公司，快速解决与资产定价、股市预测相关的复杂数学问题。2024年8月，凭借这个想法，她成功获得了960万美元种子轮投资，大约相当于6600万元人民币。

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