当AI浪潮席卷全球，创投圈的目光总能被那些打破年龄桎梏的年轻创业者牢牢吸引。近日，一则重磅消息彻底引爆科技与资本两大圈层：广东00后学霸洪乐潼创立的AI初创公司Axiom，成功完成2亿美元A轮融资，折合人民币约14亿元，此轮融资过后，公司估值飙升至16亿美元，约合人民币110亿元，正式跻身全球独角兽企业行列。
这位年仅25岁的广州女孩，用短短一年多的时间，让一家初创企业完成从默默无闻到资本宠儿的华丽蜕变，也让世界看到了中国00后创业者的无限可能。
天才学霸的开挂人生，普通家庭走出的数学奇才
洪乐潼的故事，始于广东广州的一个普通潮汕务工家庭，父母未曾接受过高等教育，却用朴实的家风培养出了一位天赋异禀的数学奇才。自幼，她便展现出远超同龄人的逻辑思维与数学天赋，高中就读于华南师范大学附属中学的她，高一就入选广东省中学生英才计划，师从中山大学知名教授深耕数学领域。
在全国中学生数学奥林匹克竞赛广东选区中，洪乐潼凭借超强的实力，成为当年仅有的四位女选手之一，在一众男性参赛者中脱颖而出，早早崭露头角。17岁那年，她不负众望，成功叩开麻省理工学院（MIT）的大门，选择数学与物理双专业开启求学之路。
在人才济济的麻省理工，洪乐潼依旧是最耀眼的存在。她仅用3年时间就修完双学位，期间发表9篇涉及模椭圆曲线、“月光猜想”等高端领域的学术论文，斩获全美女性数学家最高荣誉Alice T. Schafer奖、AMS-MAA-SIAM摩根奖等多项顶尖学术大奖，成为北美数学界备受瞩目的新星。
随后，她以中国仅四位的罗德学者身份，进入牛津大学攻读神经科学硕士，又在斯坦福大学开启数学与法律双学科博士项目。一路从国内名校到世界顶尖学府，洪乐潼用实打实的成绩，书写了一段教科书级别的学霸传奇，也为后续的创业之路筑牢了坚实的知识根基。
斯坦福退学创业，瞄准AI核心痛点破局
2024年，正当洪乐潼在斯坦福的博士学业稳步推进时，她却做出了一个令众人惊讶的决定：退学创业。在旁人看来，坐拥顶级学术资源、前途一片光明的她，完全可以在学术领域深耕出一番天地，可洪乐潼却看到了AI行业的深层痛点，毅然选择投身创业浪潮。
彼时，生成式AI飞速发展，但行业内始终存在一个致命矛盾：大模型能力不断突破，可可靠性却如同“黑盒”，基于概率的推理极易出现错误，在金融、国防等关键领域，哪怕微小的失误都可能引发巨大风险。而洪乐潼的创业初心，正是要解决这一行业难题，打造真正具备严谨逻辑推理能力的可验证AI。
她创立的Axiom公司，聚焦数学证明自动化领域，推出的AxiomProver系统通过Lean语言实现可验证的数学证明，彻底打破传统AI的概率性局限。该系统曾在被誉为“本科生数学奥林匹克”的普特南竞赛中斩获满分，还在无人工干预的情况下，仅用1天和5小时就分别完成埃尔德什问题集中两道难题的形式化证明，实力震惊业界。
除了过硬的技术，Axiom的团队配置堪称“梦之队”。前Meta AI研究总监Shubho Sengupta担任CTO，率先将Transformer模型引入数学领域的François Charton出任核心科学家，就连前美国数学学会副会长、数学界权威Ken Ono都辞去终身教职，全职加入团队。顶尖人才的汇聚，让Axiom的技术壁垒不断加固，也让资本看到了其巨大的发展潜力。
此次2亿美元A轮融资，由知名风投Menlo Ventures领投，Greycroft、Madrona Venture、Toyota Ventures等老股东悉数加码，足以见得资本市场对洪乐潼及其团队的高度认可。成立仅一年多便拿下巨额融资、跻身独角兽行列，洪乐潼用实际行动证明，年轻从来不是创业的短板，反而能凭借敢闯敢拼的劲头与前沿的技术视野，闯出一片新天地。
00后创业者崛起，青年力量引领科技未来
洪乐潼的成功，绝非个例，而是00后创业者登上时代舞台的一个缩影。在AI这条黄金赛道上，越来越多00后学霸崭露头角，用知识与勇气改写行业格局。同是2001年出生的陈源培，联合创立的灵初智能一年内拿下20亿元融资；耶鲁博士毕业的00后杨丰瑜，创办具身智能公司优理奇获数亿元融资；四位00后打造的AI编程公司，估值逼近300亿美元……
这群年轻的创业者，大多拥有顶级学府的求学背景，深耕硬核科技领域，没有传统行业的思维桎梏，敢于瞄准行业痛点大胆创新，凭借专业能力与前瞻性眼光，赢得资本与市场的双重青睐。他们的崛起，不仅让创投圈焕发新的活力，更向世界展现了中国青年的创新实力与责任担当。
从普通家庭的学霸少女，到估值百亿的科技公司创始人，洪乐潼的故事激励着无数年轻人。在这个科技飞速迭代的时代，知识永远是最硬核的底气，勇气则是突破边界的钥匙。14亿融资、110亿估值，对洪乐潼和Axiom而言，不是终点，而是全新的起点。
未来，随着可验证AI技术的不断成熟，Axiom有望在金融、代码验证、科研等多个领域实现突破，推动AI行业迈向更可靠、更严谨的新阶段。而以洪乐潼为代表的00后创业者，也将继续在科技浪潮中乘风破浪，用青春力量书写更多创新传奇，成为推动中国科技发展的新生主力军。
时代的接力棒已然交到年轻人手中，这些怀揣梦想、身怀绝技的00后，正用实力打破偏见，用创新定义未来，属于他们的科技时代，才刚刚拉开帷幕。
