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

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

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