当同龄人还在为毕业论文焦头烂额、为职场第一步迷茫徘徊时，2001年出生的广州姑娘洪乐潼，已经站在了全球AI创投的聚光灯下。2026年3月，她创立仅14个月的Axiom公司，以2亿美元（约14亿人民币）A轮融资、16亿美元（约110亿人民币）估值，火速跻身全球独角兽行列。这位从麻省理工、牛津、斯坦福走出的数学天才，用一场近乎“开挂”的创业，打破了“年轻=青涩”的刻板印象，也为躁动的AI行业，撕开了一道通往“可靠智能”的新风口。

01

少年锋芒，早已藏着硬核底色

洪乐潼的故事，从来不是“一夜爆红”的童话，而是一场长达十余年的厚积薄发。

2001年，她出生在广州一个普通的潮汕务工家庭，父母没有显赫的背景，却用最朴素的支持，守护了她对数学的极致热爱。没有昂贵的补习班，没有精英式的培养，她凭着骨子里的天赋和专注，在数学世界里一路“狂飙”。

高中就读华南师大附中时，洪乐潼的数学天赋彻底爆发——入选广东省中学生英才计划，师从中山大学教授王学钦；成为全国中学生数学奥林匹克（CMO）广东选拔仅有的四位女生之一；华罗庚金杯、全国高中数学联赛等重量级奖项，更是拿了个遍。在同龄人还在为数理化头疼的年纪，她已经在数论、几何的深海里，找到了属于自己的热爱与方向。

这份天赋，很快让她站上了更广阔的舞台。2018年，17岁的洪乐潼被麻省理工学院（MIT）录取，选择了难度拉满的数学与物理双专业。别人用四年才能完成的学业，她仅用3年就顺利毕业，期间一口气发表9篇顶尖学术论文，研究方向直指模椭圆曲线、K3曲面L函数等数学领域的“硬核难题”。

她的实力，很快得到全球学界的认可：全美女性数学家最高荣誉Alice T. Schafer数学奖、有“本科诺贝尔奖”之称的罗德奖学金（中国仅四位得主）……从广州的普通课堂，到MIT的学术殿堂，洪乐潼用一步一个脚印的成绩，证明了“出身普通，不代表上限普通；年纪尚轻，不代表实力不足”。

02

斯坦福退学创业：放弃博士光环，瞄准AI行业“致命痛点”

学业一路高光的洪乐潼，本可以沿着“学霸—学者—权威”的既定路径走下去：MIT毕业后赴牛津大学攻读神经科学硕士，在深度学习之父辛顿创建的盖茨比计算神经科学中心深耕；2024年进入斯坦福大学，攻读数学与法学双博士。这条路，安稳、耀眼，是无数人梦寐以求的学术坦途。

但2024年深秋的一次斯坦福咖啡馆交流，彻底改变了她的人生轨迹。她与时任Meta AI研究总监的舒博·森古普塔深谈后，敏锐地捕捉到AI行业的核心痛点——当下的大模型看似强大，却依赖概率输出，本质是“统计意义上的正确”，没有严谨的逻辑支撑，很容易出现“胡说八道”的幻觉问题。

在金融、国防、医疗等关键领域，AI的一个微小错误，都可能引发灾难性后果。而当时的AI行业，所有人都在追逐模型规模、参数数量，却鲜少有人关注“可靠性”这个底层难题。

“与其在学术圈慢慢研究，不如亲手解决这个真问题。”

抱着这样的念头，洪乐潼做出了惊人决定：从斯坦福退学，全职创业。没有犹豫，没有纠结，她放弃了即将到手的博士光环，带着对数学的信仰和对技术的执念，一头扎进了创业的浪潮。

2025年3月，Axiom公司正式成立，洪乐潼的目标很明确：打造“可验证人工智能”，用数学的绝对严谨，解决AI的可靠性痛点。

03

5个月融资超3亿美元：用数学硬实力，征服全球资本与顶尖人才

创业之初，没人看好这个“20出头的小姑娘”——AI行业巨头林立，初创公司九死一生，更何况她瞄准的是“数学证明自动化”这样的基础难题，难度极高、周期极长。但洪乐潼用实力，狠狠打破了所有质疑。

她带领团队聚焦技术本质，放弃追逐风口，专注研发核心系统AxiomProver。这套系统采用专为数学证明设计的Lean编程语言，实现了“自验证”功能：AI生成的每一步推理、每一个结论，都必须通过严格的逻辑校验，从根源上杜绝“幻觉”，确保结果100%可靠。

技术实力，就是最好的通行证。成立仅7个月，AxiomProver就在普特南竞赛（本科生数学奥林匹克顶级赛事）中斩获12题全对的满分，这项成就近百年仅有5人达成；随后，系统又在无人干预的情况下，仅用1天和5小时，分别完成了埃尔德什问题集中两道数十年未解难题的形式化证明。

硬核的技术成果，让全球资本蜂拥而至。2025年10月，Axiom完成6400万美元种子轮融资；短短5个月后，2026年3月，再拿下2亿美元A轮融资，由Menlo Ventures领投，Greycroft、Madrona Venture等顶级机构悉数跟投。从种子轮到A轮，估值从3亿美元飙升至16亿美元，洪乐潼用最快速度，刷新了年轻创业者的融资纪录。

更令人惊叹的是，她的“魅力”不止征服资本，更吸引了全球顶尖人才主动追随。

弗吉尼亚大学Marvin Rosenblum讲席教授、前美国数学学会副主席Ken Ono，这位功成名就、手握终身教职的世界顶尖数论学家，毅然辞去稳定工作，全职加入Axiom担任创始数学家。要知道，Ken Ono曾指导过十位摩根奖得主，洪乐潼正是其中之一，而让这位57岁的权威甘愿为25岁的年轻人“打工”的，正是Axiom技术展现出的“数学超级智能”的无限可能。

（左一）肯・小野（Ken Ono），美国顶尖数论学家，弗吉尼亚大学Marvin Rosenblum讲席教授、前美国数学学会副主席；（右一）洪乐潼

此外，前Meta AI研究总监Shubho Sengupta担任CTO，率先将Transformer引入数学领域的先驱François Charton加入核心团队……30多人的团队，个个是行业顶尖大拿，组成了名副其实的“梦之队”。一位硅谷投资人感慨：

“她兼具深厚的数学功底、惊人的运营效率，以及吸引一流人才的能力，是我二十年硅谷生涯见过最令人印象深刻的创始人，没有之一。”

04

00后创业者集体登场：AI行业，迎来理想主义的黄金时代

洪乐潼的崛起，从来不是个例。当她带着Axiom领跑“可验证AI”赛道时，一群和她一样的00后创业者，正集体登上全球AI舞台，用不一样的姿态，改写着行业规则。

同样2001年出生的陈源培，师从李飞飞，创立的灵初智能成立仅一年多，便完成20亿元天使轮及Pre-A轮融资；耶鲁博士毕业的杨丰瑜，回国创立具身智能公司优理奇，拿下数亿元天使轮融资；三位00后创办的AI招聘网站Mercor，完成1亿美元B轮融资，估值达20亿美元……

这群年轻创业者，和上一代有着截然不同的气质：他们不追风口、不玩资本游戏，更专注于解决真正的技术难题；他们不空谈颠覆、不盲目扩张，更在意对问题本身的好奇和对技术可能性的清晰判断。就像洪乐潼自勉的那句话：

“祝自己做花也做树。缤纷热情，孤离兀立。”

他们是理想主义者，却有着最务实的行动力；他们年纪轻轻，却有着超越年龄的沉稳与专注。在AI行业从“野蛮生长”走向“精耕细作”的当下，这群00后用硬核实力证明：创业从来不是“资历的游戏”，年龄更不是束缚才华的枷锁。真正能走得远的，永远是那些专注本质、坚守初心的人。

05

才华无关年龄，实力才是永远的通行证

从广州普通家庭的女孩，到掌舵百亿估值独角兽的创始人；从MIT的数学天才，到让终身教授追随的创业者，洪乐潼的故事，给了所有年轻人最有力的鼓舞：别再拿“年轻”当借口，别再被“年龄”束缚脚步。

她没有显赫的家世，没有现成的资源，凭着对数学的热爱、对技术的执着，一路披荆斩棘；她不迎合市场、不追逐热点，专注解决AI行业最底层的难题，用硬实力赢得尊重与认可。如今，Axiom的技术已从数学证明延伸至代码验证领域，瞄准AI的上限，搭建通向超级智能的阶梯。

这个时代，从不缺风口，缺的是沉下心做实事的人；从不缺年轻的创业者，缺的是有硬核实力、有理想信念的追光者。洪乐潼用14亿融资、百亿估值的成绩告诉我们：才华与年龄无关，实力才是永远的通行证。

而那些和她一样的00后AI创业者，正带着满腔热爱与极致专注，在科技浪潮中乘风破浪。AI的上限在哪里？或许答案，就藏在这群年轻人的选择与坚守里。