综合

　　毕业于麻省理工学院和牛津大学的从斯辍学创业才少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做数学”的同路人。