长江后浪推前浪！24岁广东姑娘洪乐潼，无产品估值20亿火遍硅谷？

免责声明：本网发布此文章，旨在为读者提供更多信息资讯。文章观点仅供参考，所涉及内容不构成投资、消费建议。为提高文章流畅性，文章可能存在故事编译，读者请自行辩解！如事实如有疑问，请与有关方核实。

00后硬科技引爆资本热

2025年初，硅谷创投圈被一个消息炸翻——一家成立仅数月、连官网都没完善的AI公司，凭一张“数学天才”履历，斩获6400万美元种子轮融资，投后估值直奔3亿美元（约21亿人民币）。

更让人震惊的是掌舵者是24岁中国00后姑娘，没产品没客户团队刚组建，凭什么让B Capital这样的顶级资本抢着押注？

这背后，藏着AI时代最硬核的“造富密码”——不拼资历拼算法，不讲故事拼定理。

24岁广州姑娘的AI数学传奇

这个让资本抢着押注的姑娘叫洪乐潼，24岁，广州人。

她的履历像本“天才成长手册”：从华南师大附中奥数省队起步，17岁考入麻省理工，三年啃下数学与物理双学位，摩根奖、Schafer数学卓越奖拿到手软，还是罗德奖学金中国获奖者之一。

后来进斯坦福读数学与法学双博士，却在2024年突然退学，一头扎进AI数学推理赛道，创办了Axiom Math——这家连成熟产品都没跑出来的公司，单凭她的名字和履历，就撑起了21亿估值。

从奥数省队到AI创业

洪乐潼自幼就透着股对数字的敏感，小学奥数竞赛拿奖拿到手软，高中直接闯进华南师大附中奥数省队，代表广东拿过全国联赛银奖。

麻省理工三年读完数学与物理双学位，期间一口气修完20门硕博课程，跨数学、物理、计算机三领域发表6篇顶刊论文，还顺手拿了摩根奖和Schafer数学卓越奖——这俩奖在北美数学界，相当于本科生的"诺贝尔奖提名"。

后来去牛津读神经科学硕士，研究大脑如何处理复杂逻辑，又跑到斯坦福读数学与法学双博士，一边啃数论难题，一边琢磨AI伦理。

转折出现在2023年深秋，她在斯坦福AI实验室跟Meta研究员Shubho Sengupta喝咖啡，对方吐槽现有大模型"数学是硬伤"：ChatGPT解微积分还行，遇到需要多步推理的数论问题，得分率骤降到5%，本质是"套公式而非真理解"。

洪乐潼当场翻出自己研究的大脑逻辑处理模型，发现AI缺的正是人类那种"从公理推定理、从特例猜规律"的底层推理能力。

那天晚上她在实验室待到凌晨三点，写出17页纸的《AI数学推理缺陷分析》，第二天就跟导师说要退学——与其在论文里讨论AI，不如亲手造一个会推理的AI。

数学界AlphaGo团队揭秘

退学后三个月，她拉来的第一个人就是当时吐槽大模型的Shubho Sengupta。

这位Meta AI前研究员曾领导开发OpenGo，对AI推理机制门儿清，直接辞了职来当CTO。

接着是法国数学家François Charton，最早把Transformer模型用到数学证明里的人，被洪乐潼一句“咱们造个会提猜想的AI”说动，带着论文数据库就搬来了硅谷。

深耕代码生成大模型的Hugh Leather也来了，他之前在DeepMind搞的代码逻辑优化技术，正好补全AI写证明过程的短板。

最狠的是挖来数论领域大牛小野健，这位日本数学家在模形式领域摸爬了四十年，洪乐潼蹲在他牛津办公室门口聊了三天，最后靠一句“您解不开的题，AI或许能搭把手”把人请走。

团队凑齐时，Axiom Math连正经办公室都没有，挤在斯坦福孵化器的共享工位里。

今年年初，他们用Lean语言写的AxiomProver突然炸了学术界——这东西一口气搞定两个悬而未决几十年的埃尔德什猜想，证明过程被《数学年刊》收录时，审稿人还以为是哪个顶尖团队的成果，后来才发现背后是群平均年龄不到30岁的年轻人。

现在公司盯着的，是金融风控模型的实时优化、AI芯片底层算法设计、Web3智能合约的数学验证这些硬需求，毕竟哪行都缺不了能从公理推到定理的“超级计算器”。

00后硬核创业军团专啃技术难题

洪乐潼和她的Axiom Math并非孤例。

全球00后创业者正在AI、机器人等前沿领域扎堆崛起，他们的共同点是：不拼PPT，不讲故事，专挑行业里最难啃的技术骨头啃。

美国AI编程公司Anysphere的CEO Michael Truell是个标准00后，公司开发的代码编辑器Cursor去年年化收入突破10亿美元，估值冲到90亿美元，核心技术是让AI能实时理解程序员的逻辑漏洞；

AI招聘平台Mercor的创始人Foody才22岁，靠AI精准匹配候选人与岗位需求，拿下OpenAI的合作订单，估值20亿美元；

还有AI编程公司Magic，创始人2000年出生，团队用大模型优化代码生成效率，成立两年估值15亿美元。

国内00后同样不示弱。

灵初智能的陈源培拒绝华为“天才少年”百万年薪offer，带着团队死磕21自由度灵巧手，去年靠能拧瓶盖、穿针线的机械手指，拿到英伟达的联合研发订单，公司估值半年破亿；

清华零次方机器人的创始人团队平均年龄23岁，他们开发的小型物流机器人能在0.3秒内识别复杂路况，已签下京东物流的千万级订单；

UniX AI的21岁创始人付智，用自研的分布式训练框架解决大模型算力浪费问题，去年获红杉中国领投的5000万美元融资。

这些00后创业者办公室里几乎见不到精美的路演PPT，墙上贴的全是技术参数表、算法优化公式，连融资谈判都直接甩代码仓库地址——“技术行不行，看代码就知道”。

AI时代新生存法则

洪乐潼麻省理工+牛津+斯坦福的履历，陈源培清华姚班的科研经历，付智中科大少年班时发表的芯片架构论文，这些00后创业者的“敲门砖”从不是PPT，而是顶刊论文和专利证书。

他们总能精准戳中行业最痛的“神经”：洪乐潼盯着AI不会推理的底层缺陷，付智死磕大模型算力浪费的卡脖子问题，灵初智能陈源培看准灵巧手在工业场景的空白。

更关键的是他们的全球化整合力——洪乐潼能拉来Meta、牛津的AI大牛，陈源培靠一篇机器人顶会论文打动英伟达合作，22岁的Foody用算法模型说服OpenAI开放接口。

这群年轻人早把“资历”二字从字典里划掉，用数学公式推导商业逻辑，靠代码逻辑重构行业规则，跨学科的知识拼图和对算法的直觉，成了比“十年经验”更硬的底气。

资历贬值时代00后破局启示

00后已扎堆AI、机器人等硬核领域成主力军，Anysphere估值90亿、Mercor估值20亿，国内灵初智能、零次方机器人靠硬技术拿千万订单。

他们凭顶尖学术背景当敲门砖，精准切中行业底层痛点，用数学公式和代码逻辑重构规则。

40岁程序员还在焦虑“经验贬值”，24岁数学博士早用定理敲开资本大门。

AI时代早不为PPT买单，只为可验证的硬科技疯狂，这届00后证明：真正的底气，永远藏在公式与代码的逻辑里。