创业不到一年，潮汕00后天才少女，融资4.6亿！

国庆假期，创投圈被一则融资消息彻底点燃：由潮汕00后天才少女洪乐潼创办的Axiom Math正式完成首轮约4.6亿人民币融资，公司投后估值达20亿人民币。

这位年仅24岁，头顶“麻省理工本科+牛津硕士+斯坦福博士”光环的年轻创业者，用不到1年的时间，再次书写AI时代的造富神话。

成立不到一年，10个人

拿下4.6亿融资，估值20亿

据投资界报道，近日，由00后华裔斯坦福博士洪乐潼创办的Axiom Math正式完成首轮6400万美元（约合人民币4.6亿元）融资，Greycroft、Madrona和Menlo Ventures等机构参与，投后估值3亿美元（约合人民币20亿元）。

作为此次领投方，B Capital合伙人在官网中将洪乐潼称作一个“推动数学超级智能的人”，并称赞她“以惊人的速度组建了一支人才密度极高的创始团队”。

据了解，Axiom成立于2025年3月，是一家定位于“数学AI”的创业公司，核心目标是打造能解决实际数学问题的人工智能系统。

这家崭露头角的AI公司旨在为对冲基金、量化交易机构等客户提供复杂数学问题的快速解决方案。具体来看就是，Axiom的AI系统通过学习严格的逻辑推理和数学证明的过程，能够像数学家一样构建和验证形式化证明，并保证结果的准确性和严谨性。借助Axiom，金融机构可无需耗费大量人力搭建庞大技术团队，直接利用AI解决投资和股市中的复杂数学难题。这种“数学即服务”的模式，契合了当前金融市场对高效智能化技术的强烈需求。这种创新的技术理念使得Axiom在众多AI初创公司中脱颖而出。

值得注意的是，Axiom这家新兴的AI公司只有10名全职人员，但这个小而精的团队成员个个都是行业顶尖：例如担任CTO的Shubho Sengupta曾是Meta FAIR 团队负责人，曾开发OpenGo和CrypTen；数学研究员François Charton则在Meta负责过大语言模型在数学和理论物理学的研究，他在2019年就开始探索Transformer在数学证明中的应用；资深科学家Hugh Leather也是Meta前人工智能研究科学家，曾开发过编译器与 GPU 代码生成的大语言模型。

Axiom核心员工中大多数来自Meta

早在今年6月，Axiom便被爆出正在正在与投资者洽谈5000万美元（约合人民币3.6亿元）融资事宜，目标估值达3亿至5亿美元（约合人民币21亿-35亿元），尽管当时这家初创公司尚未推出任何产品，0产品，0用户。彼时，消息一出，立刻在硅谷和国内创投圈刷屏，也让作为Axiom创始人的洪乐潼在一夜间迅速爆火。

如今，随着首轮融资正式出炉，也意味Axiom这家成立不足1年的公司正式跻身“资本竞速”赛道。

00后潮汕天才少女

从斯坦福退学创立Axiom Math

Axiom由00后洪乐潼（Carina Hong）缔造。

据报道，洪乐潼出生于中国广州，中学就读于广州名校华南师范附中，父母是土生土长的潮汕人。

Axiom公司创办人洪乐潼图片来源：麻省理工学院

尽管父母未接受高等教育，但洪乐潼自幼却展现超凡的出数学天赋。她是广东奥数省队仅有的四名女生之一，还多次在“华罗庚金杯”、全国高中数学联赛中获奖。

高中毕业后，洪乐潼考入麻省理工学院，仅用三年时间便完成了数学与物理双学位，期间发表9篇学术论文，涵盖数论、组合学、代数几何等纯数学前沿领域，这在本科生中极为罕见。

同时，她也拿奖到手软：先是获得Schafer数学卓越奖，该奖每年仅颁发给一名本科女生；后又获得北美数学本科生的最高荣誉——摩根奖，她是第五位获此殊荣的女生。2021年底，洪乐潼获得了极具竞争力的罗德奖学金，该奖学金由牛津大学颁发，是世界上历史最悠久、最负盛名的国际奖学金项目之一，有“本科诺贝尔奖”的美誉，获奖学者将赴牛津大学攻读研究生课程。洪乐潼成为仅有的四名中国获奖者之一。

2022年，洪乐潼前往英国牛津大学学习神经科学，获得硕士学位。期间还在伦敦大学学院进行人工智能和机器学习研究。到了2024年8月，洪乐潼又进入斯坦福大学同时攻读数学博士和法学学位，很快，还在博士就读的她闯入了AI界。

颇为戏剧性的是，Axiom的诞生来自于一次咖啡馆的交流。

2024年秋，仍在斯坦福大学攻读博士的洪乐潼在学校附近的Verve Coffee Roasters咖啡馆，偶然遇到了前Meta的AI研究员Shubho Sengupta，当时Sengupta正在研究能编写软件测试的大语言模型。

图源：MIT News

当时，洪乐潼和Shubho Sengupta畅谈了几个小时，两人讨论了各自研究领域的交叉点。在关于能否用AI解决复杂数学问题这一话题上，他们一拍即合，随即决定共同创业。

这次交流后不久，洪乐潼便从斯坦福退学，着手创办Axiom，立志打造一款“AI数学家”。

2025 年 3 月，Axiom Math在旧金山正式成立。

近日，洪乐潼在X平台上发布了Axiom的宣传视频，称“我们正在打造一个能够自我改进的超级智能推理系统，起点是一个AI数学家。”图源：X@Carina Hong

在洪乐潼看来，数学是打造超级智能的完美试验场。Axiom的理念是将教科书、论文和期刊里的英文数学内容转化为程序化知识，这样AI不仅可以解决复杂的数学问题，还能通过严格验证来检验解答。

未来，洪乐潼希望“AI数学家”甚至能够提出全新的数学猜想。

文中所用图片来源网络

【编者声明】

本公众号部分素材来自网络，版权归原作者所有。编者收集整理，旨在与大家分享学习。如您认为某些内容侵犯您的权益，请及时告知，我们核实后将采取相应措施。