当世界某些角落的校园在炮火中化为废墟，教育的光辉被战争的阴霾所遮蔽时，在地球的另一端，一位25岁的广州少女却用知识的力量点亮了人类文明的另一盏明灯。

2026年3月中旬，洪乐潼创立的AI初创公司Axiom宣布完成2亿美元A轮融资，公司估值高达16亿美元，约合人民币110亿元，这位毕业于麻省理工学院和牛津大学的数学天才少女，从斯坦福辍学创业仅一年多时间，便带领公司跻身全球独角兽行列。

这一事件不仅是中国青年创业者的辉煌成就，更是“知识就是财富，知识就是力量”这一古老真理在人工智能时代的最新注脚。

洪乐潼的创业故事始于2024年深秋。当时正在斯坦福大学攻读数学与法学双博士学位的她，在一次与Meta AI研究员Shubho Sengupta的咖啡馆畅谈后，毅然决定从这所世界顶尖学府退学，全身心投入创业浪潮。

她的公司取名Axiom（公理），源自数学术语，目标是创造“AI数学家”。这家公司的核心业务看似抽象却意义深远：打造能自动验证计算机代码的AI系统，其原理类似于数学家证明复杂数学难题。洪乐潼敏锐地洞察到当前AI行业的一个尖锐矛盾：大模型能力狂飙，但可靠性却始终是个黑盒。用AI写代码，无法知道代码何时存在漏洞。

而Axiom的技术可以杜绝这类错误，借助Lean编程语言，研发出能够从形式上证明答案是否正确的技术。正是凭借这个颠覆性的想法，2024年8月，洪乐潼就拿下了960万美元种子轮投资，约6600万元人民币。随后在2025年11月，公司又完成了6400万美元融资。

直到2026年3月，Axiom宣布完成由Menlo Ventures领投的2亿美元A轮融资，公司估值突破16亿美元。目前，Axiom拥有20多名员工，洪乐潼正忙着招兵买马，在海外社交平台上频繁发布招聘信息，寻找有志于“用AI做数学”的同路人。

回溯洪乐潼的教育经历，是一条典型的天才成长轨迹。2001年出生于广州的她，父母都是普通务工者，从未上过大学。但洪乐潼的数学天赋很早就显露出来，中学就读于广东名校华南师范附中，高中时期成为数学奥林匹克省队仅有的四名女生之一，多次在华罗庚金杯、全国高中数学联赛等竞赛中取得佳绩。

2018年，她以USAMO（美国数学奥林匹克）国际营唯一非美籍满分选手的身份被麻省理工学院数学系提前录取。2019年进入麻省理工学院后，洪乐潼攻读数学和物理双学位，本科阶段就修读了20多门研究生课程，发表9篇高质量学术论文，涉及模椭圆曲线与K3曲面的L函数、月光猜想、弹出栈排序算法研究等领域。

她曾担任麻省理工学院数学协会主席，并荣获表彰北美地区数学专业本科生杰出研究的AMS-MAA-SIAM摩根奖。2022年，洪乐潼凭借罗德奖学金前往牛津大学攻读神经科学硕士，成为当年中国大陆选拔的四名罗德奖学金获得者之一。

在牛津期间，她还在伦敦大学学院进行人工智能和机器学习研究，当时她曾表示：“人工智能与科学家未来的互动会怎样？是我接下来希望研究的课题。”2024年，洪乐潼进入斯坦福大学攻读数学与法学双博士，但仅几个月后便选择退学创业。这条横跨麻省理工、牛津、斯坦福三所世界顶尖学府的求学之路，不仅锻造了她扎实的学术功底，更培养了她跨学科的思维方式和解决复杂问题的能力。

“知识就是财富，知识就是力量”在洪乐潼身上得到了完美诠释。她将深奥的数学知识转化为具有巨大商业价值的技术解决方案。洪乐潼曾坦言：“数学怎么赚钱？我们从一开始就面临这个挑战。

现在，商业信号已经清晰很多，数学能创造价值，是因为它能自我验证、自我检查。”Axiom的核心技术正是建立在严格的数学逻辑之上。公司通过训练人工智能系统生成用Lean语言编写的、经过形式化验证的输出，Lean是一种专为数学证明设计的编程语言。

通过使用Lean，Axiom可以确保人工智能模型推理过程的每一步都是“可机器检查的”并且在逻辑上得到保证。这种技术不仅能够解决数学难题——2025年12月，AxiomProver系统分别用1天和5小时，在无人为干预的情况下完成了埃尔德什问题集中第124题和第481题的证明；更重要的是，它能将这种“绝对正确”的数学推理能力，通过迁移学习引入到代码验证领域，解决生成式AI的可靠性问题。

在洪乐潼的设想中，未来Axiom的产品可服务于对冲基金和量化交易公司，快速解决与资产定价、股市预测相关的复杂数学问题。这种将抽象数学理论与实际商业应用紧密结合的能力，正是知识转化为财富的关键所在。

洪乐潼的成功是多重因素共同作用的结果。首先是卓越的天赋与扎实的教育基础。她的数学天赋在早期就已显现，而麻省理工、牛津、斯坦福的教育经历为她提供了世界一流的学术训练和科研环境。

其次是精准的时机把握。洪乐潼创业之时，正值人工智能浪潮席卷全球，大模型在代码生成方面取得突破但面临可靠性瓶颈的关口。她敏锐地抓住了“可验证人工智能”这一细分领域，解决了行业痛点。

第三是强大的团队支撑。Axiom的创始团队小而专注，有一半来自Meta AI研究院。团队还包括弗朗索瓦·沙尔东，他因率先应用Transformer模型解决了一个困扰专家130多年的数学难题而闻名。甚至连著名数学家小野健也辞去弗吉尼亚大学终身教职加入Axiom。

第四是清晰的愿景与执行力。洪乐潼为公司设定了“从AI数学家起步，打造自我改进的超级智能推理器”的使命。她表示：“我们创建Axiom，是为了将好奇的火花转化为已知的真理，并压缩取得突破的时间线。”这种将宏大愿景与具体技术路径相结合的能力，使得Axiom在短时间内取得显著进展。

第五是资本的有力支持。从960万美元种子轮到2亿美元A轮融资，Menlo Ventures、Greycroft、Madrona Venture、B Capital、Toyota Ventures等知名风投的持续加码，不仅提供了资金保障，更带来了行业资源和战略指导。

洪乐潼的故事给予我们多方面的深刻启示。在教育层面，它证明了跨学科学习的重要性。洪乐潼在数学、物理、神经科学、人工智能等多个领域的知识积累，使她能够以独特的视角发现并解决复杂问题。

这提示我们的教育体系应当更加注重培养学生的跨学科思维和综合能力。在创新层面，洪乐潼的成功表明，基础科学研究与前沿技术应用可以形成良性循环。Axiom的技术根植于深厚的数学理论基础，却又直面AI行业最紧迫的实际问题。这种“从0到1”的原始创新，往往比单纯的技术迭代具有更大的突破性和更持久的竞争力。

在创业层面，洪乐潼的经历展现了年轻创业者的独特优势。25岁的她敢于从斯坦福退学，在竞争激烈的人工智能领域开辟新赛道，这种勇气和决断力值得赞赏。同时，她也证明了创业者不仅需要技术专长，还需要对市场需求、资本运作、团队建设等多方面有深刻理解。

在社会层面，洪乐潼的故事是“知识改变命运”的生动体现。出身普通务工家庭的她，凭借卓越的学术成就获得世界顶尖学府的青睐，又通过创业将知识转化为巨大的社会价值和经济价值。这为无数寒门学子树立了榜样，证明了在当今时代，教育仍然是实现社会流动和个人价值的最重要途径。

在全球竞争层面，洪乐潼和Axiom的出现，标志着中国年轻一代在全球科技创新舞台上正扮演着越来越重要的角色。在人工智能这一决定未来竞争力的关键领域，中国青年创业者已经具备了与世界顶尖团队同台竞技的实力和视野。

当洪乐潼在硅谷的办公室里畅谈“用AI做数学”的梦想时，她不仅是在打造一家估值百亿的科技公司，更是在探索人类智能与机器智能融合的新边界。

她曾充满激情地描述：“Verified AI关注的，绝不仅仅是修补AI的缺点。真正瞄准的，是AI的上限，是通向超级智能的阶梯。”这种将技术追求与人类文明进步相连接的宏大视野，正是这个时代最宝贵的创新精神。

从广州到麻省理工，从牛津到斯坦福，从数学证明到代码验证，洪乐潼的旅程诠释了知识如何跨越国界、学科和传统边界，创造出改变世界的力量。在这个某些地方的教育设施仍在遭受战火摧残的世界里，洪乐潼和无数像她一样的年轻创新者，正用知识和智慧建设着人类共同的未来。

他们的故事告诉我们：无论时代如何变迁，知识永远是最宝贵的财富，教育永远是最强大的力量，而将这两者结合起来的创新精神，则是推动人类文明不断向前的最持久动力。