4月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年，出生于广州市天河区，父母都是普通务工者，从未上过大学，曾就读于华南师大附中，数学天赋很早就显露出来。高一，她就在全国数学奥林匹克选拔中晋级，并在华罗庚杯、全国高中数学联赛中屡获佳绩。
来源：都市现场、21世纪经济报道、醒目视频
