25岁，广州姑娘，斯坦福博士辍学，手握16亿美金估值。当这些标签集中在一个人身

25岁，广州姑娘，斯坦福博士辍学，手握16亿美金估值。当这些标签集中在一个人身上时，你很难不为之侧目。她叫洪乐潼，如果你对数学圈或者AI前沿稍有关注，这个名字最近恐怕已经刷了屏。2026年3月16日，她创立的公司Axiom宣布完成2亿美元A轮融资，投后估值直达16亿美元（约合人民币110亿元）。这不是科幻小说，这是正在发生的商业现实。很多人在评论区惊叹她的年轻，毕竟她出生于2001年。但如果我们把时间轴拉长，你会发现这个“天才少女”的剧本，早就埋下了伏笔。洪乐潼是土生土长的广州人，早年在华南师范大学附属中学就读。2017年，她入选了广东省中学生英才计划，这通常是选拔顶尖科研苗子的摇篮。随后的求学路径简直是在“踩油门”：本科就读于麻省理工学院（MIT），她只用了三年就拿下了数学与物理双学位。注意，这期间她不仅仅是刷学分，还硬啃了20门高等数学课程，顺手发表了9篇论文，其中大部分是与张盛桐合作，刊登在《美国数学会会报》和《拉马努金期刊》这样的顶级刊物上。 2022年，洪乐潼入选“罗德学者”，这个奖项被誉为“本科生诺贝尔奖”，每年在中国仅选拔4人。带着这份荣誉，她前往牛津大学攻读神经科学硕士，同时在伦敦大学学院进行AI和机器学习研究。这份跨界背景至关重要——数学是底座，神经科学是触角，而AI成了她最终落地的战场。 2024年8月，洪乐潼进入斯坦福大学，本该是攻读数学博士和法学博士的双料生涯，但她再次做出了常人难以理解的选择：辍学。同年，她创办了Axiom。这家公司的名字意为“公理”，目标非常纯粹且硬核：创造“AI数学家”。市面上大模型很多，但能做严格数学证明的凤毛麟角。Axiom的核心技术路线是利用Lean等编程语言，开发基于形式数学证明训练的可验证人工智能系统。简单说，就是让AI推理的每一步都能被数学验证，绝不瞎编。这直接击中了金融领域的痛点——对冲基金和量化交易员们正急需这种零误差的工具。数据不会骗人。Axiom旗下的AxiomProver系统在2025年的普特南数学竞赛中拿了满分。这个竞赛被誉为北美最难的大学生数学竞赛，能拿满分意味着AI在逻辑推理上已经达到了恐怖的水准。不仅如此，2025年12月，该系统还自主证明了埃尔德什问题124和481，虽然用时超过24小时，但这标志着机器在数学探索上迈出了实质性的一步。公司的融资历程也像坐了火箭。2025年刚成立不久就完成了6400万美元的种子轮融资，估值3亿美元。短短不到一年，到了2026年3月，2亿美元的A轮融资到账，估值翻了五倍多，直接跻身独角兽行列。这种爆发式的成长，自然引发了舆论的热议。有人羡慕，有人质疑。评论区里，网友“墨镜深蓝”感叹：“人家01年的公司市值几百亿，我家01的天天在家里嘻嘻哈哈。”这代表了一种普遍的焦虑与对比。而网友“彭彭046”则提出了更尖锐的问题：“故事随便你讲，牛逼随便你吹，关键说国籍和在哪国生活工作。”这其实折射出大众对于顶尖人才流失与归属的关注。根据公开资料，洪乐潼是广州人，但她的求学与创业高地目前主要在美国。无论外界声音如何嘈杂，一个不可忽视的事实是：AI正在从“生成内容”向“逻辑推理”跃迁。洪乐潼和她的Axiom，正是站在这个风口的最前沿。当数学不再是人类独有的智力堡垒，当算法能独立证明那些困扰人类多年的难题，商业价值的爆发只是技术突破后的必然产物。这位25岁的广州姑娘，正在用一种极其硬核的方式，告诉世界未来的数学和金融该怎么玩。以上内容仅供参考和借鉴