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

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

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