25岁数学天才少女拿下超14亿融资 AI数学家的崛起

洪乐潼热衷于用AI来做数学。她认为数学能创造价值，因为它能自我验证、自我检查。这位25岁的广州女生毕业于麻省理工学院和牛津大学，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元。

2025年，DeepSeek横空出世，洪乐潼感慨团队执行力强，亲力亲为，最珍贵的是那份理想与使命交织的信念。Axiom的创始团队小而专注，有一半来自Meta AI研究院。

洪乐潼的办公室位于硅谷的帕洛阿尔托大学大道，距离斯坦福大学不远。公司取名Axiom（公理），目标是创造“AI数学家”。就是打造能自动验证计算机代码的AI系统，原理类似于数学家证明复杂数学难题。这项技术可以杜绝代码漏洞，借助Lean编程语言，研发出能够从形式上证明答案是否正确的技术。

凭借这个想法，2024年8月，洪乐潼拿下了960万美元种子轮投资。在她的设想中，未来Axiom的产品可服务于对冲基金和量化交易公司，快速解决与资产定价、股市预测相关的复杂数学问题。3月中旬，洪乐潼宣布筹集到2亿美元A轮融资。她表示，Axiom虽然小但很强，探索各种更聪明的技术来降低成本，资本效率很高。