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

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

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

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

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

洪乐潼并非一枝独秀，有人正在做着类似的研究，而且比她更早入局。其竞争对手Harmonic不仅能攻克数学难题，在代码编写和芯片设计领域也展现出潜力，最新估值达14.5亿美元。洪乐潼并不担心，她透露已经有不少意向客户找上门。

洪乐潼的创业始于一次咖啡馆中的闲聊。2024年深秋，她在斯坦福大学附近的咖啡馆遇见了时任Meta AI研究总监的Shubho Sengupta。几小时交谈后，两人决定一起用AI解决世界上最棘手的数学问题。不久，洪乐潼退学创业，Shubho成为Axiom第一位成员，现任CTO。

洪乐潼拉来的首位重磅业界大佬是57岁的数学泰斗小野健（Ken Ono）。他是模形式领域的顶尖学者、美国数学学会前副会长，指导过十位摩根奖得主。他曾为美国奥运游泳队提供数据分析，为电影《知无涯者》担任顾问，甚至出演啤酒广告。他与洪乐潼结缘于麻省理工，师生关系延续至今，角色却已不同。2025年底，小野健辞去教职，带着全家搬到硅谷，加入Axiom，工牌编号015。他表示，促使他加入Axiom的动机是好奇心和学术探索，而非经济利益。

短时间内，洪乐潼组建了由17名顶尖研究人员组成的团队，核心科学家François Charton是率先将Transformer模型引入数学领域的先驱之一。她相信，当问题足够难的时候，人才密度会急剧上升。目前，Axiom拥有20多名员工，洪乐潼忙着招兵买马，寻找有志于“用AI做数学”的同路人。

洪乐潼的开挂人生是一个关于天赋与勤奋的故事。她出生于广州市天河区，曾就读于华南师大附中，数学天赋很早就显露出来。高一时，她在华罗庚杯、全国高中数学联赛中屡获佳绩。正是在奥数集训中，她对研究型数学产生了兴趣。2018年，17岁的洪乐潼考入麻省理工学院，攻读数学和物理双学位。期间，她发表了9篇学术论文，并摘得北美数学本科生最高荣誉——摩根奖，以及爱丽丝·谢弗数学奖。2021年底，她获得罗德奖学金，前往牛津大学攻读神经科学硕士。之后又进入斯坦福大学，攻读数学与法学双博士学位。2024年某天晨跑时，她想起AMD首席执行官苏丽莎的忠告：要迎难而上。于是，她下定决心，从斯坦福大学退学创业。