00后天才少女洪乐潼融资16亿美元，Z世代创业者正重塑AI创投规则

2026年3月，年仅25岁的洪乐潼创立的AI公司Axiom，以高达16亿美元的投后估值完成了2亿美元A轮融资。这距离公司成立仅一年有余，其惊人的融资速度和估值，在创投圈激起了巨大波澜。洪乐潼并非孤例，一批Z世代创业者正以前所未有的速度和姿态涌入AI核心战场。从北邮学生郭航江用10天“手搓”AI引擎获投，到北大斯坦福背景的陈源培专注机器人灵巧手技术融资20亿元，再到耶鲁博士杨丰瑜凭概念斩获数亿元押注——当外界还在讨论“00后整顿职场”时，这群年轻人已经悄然坐上AI牌桌的主位，意图定义新的行业范式。

洪乐潼的路径尤为引人注目。这位出身普通家庭的潮汕天才少女，拥有典型的顶尖学者履历：17岁入读MIT，三年修完双学位，获罗德奖学金，足迹遍布牛津、斯坦福。然而，2024年与Meta前AI研究总监Shubho Sengupta的一次长谈，彻底改变了她的方向。对话的核心议题直指AI行业的阿喀琉斯之踵：AI能否真正学会可靠的数学推理？这次对话后，洪乐潼做出了退学创业的惊人决定。她切入的并非泛化的商业机会，而是AI在金融、国防等关键领域应用时悬而未决的可靠性危机。

Axiom提出的“可验证人工智能”概念，旨在用数学证明重构AI的可靠性基础。其核心方法是利用Lean编程语言，将数学证明转化为可执行程序，要求AI的每一步推理都必须通过验证器检查，从而确保答案的正确性可被严格证明，而非依赖概率猜测。这套系统已在2025年底的普特南数学竞赛中初显实力。这批Z世代创业者的崛起，不仅意味着新鲜血液的注入，更可能预示着AI创投逻辑与技术发展路径的深层变革。他们带来的不仅是年轻，更是一种绕过传统路径、直击核心矛盾的颠覆性思维。