25岁数学天才少女拿下超14亿融资，公司估值110亿，在海外社交平台上发布招聘信息，寻找有志于“用AI做数学”的同路人

今日（ 6 日），话题词“ 25 岁天才少女拿下超 14 亿融资 ”登上微博热搜。

据了解，这位 25 岁的广州数学天才少女名叫洪乐潼，17岁毕业于麻省理工学院， 三年拿下数学 、物理双学位， 本科期间发布 9篇高水平论文， 并斩获北美数学 最高荣誉摩根奖。 如今牛津大学毕业后 ， 她从斯坦福退学， 创立人工智能公司， 数周前刚拿下 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做数学”的同路人。

洪乐潼， 2001 年，出生于广州市天河区，父母都是普通务工者，从未上过大学，曾就读于华南师大附中，数学天赋很早就显露出来。高一，她就在全国数学奥林匹克选拔中晋级，并在华罗庚杯、全国高中数学联赛中屡获佳绩。

来源：都市现场 编辑：丁丰林