乐鱼体育,乐鱼体育官方网站,乐鱼体育靠谱吗,乐鱼体育app,乐鱼体育官网,乐鱼体育,乐鱼体育入口,乐鱼体育官方,乐鱼官网登录,乐鱼后台,乐鱼体育网址,乐鱼体育注册2025年初，硅谷创投圈被一个消息炸翻——一家成立仅数月、连官网都没完善的AI公司，凭一张“数学天才”履历，斩获6400万美元种子轮融资，投后估值直奔3亿美元（约21亿人民币）。
更让人震惊的是掌舵者是24岁中国00后姑娘，没产品没客户团队刚组建，凭什么让B Capital这样的顶级资本抢着押注？
这背后，藏着AI时代最硬核的“造富密码”——不拼资历拼算法，不讲故事拼定理。
她的履历像本“天才成长手册”：从华南师大附中奥数省队起步，17岁考入麻省理工，三年啃下数学与物理双学位，摩根奖、Schafer数学卓越奖拿到手软，还是罗德奖学金中国获奖者之一。
后来进斯坦福读数学与法学双博士，却在2024年突然退学，一头扎进AI数学推理赛道，创办了Axiom Math——这家连成熟产品都没跑出来的公司，单凭她的名字和履历，就撑起了21亿估值。
洪乐潼自幼就透着股对数字的敏感，小学奥数竞赛拿奖拿到手软，高中直接闯进华南师大附中奥数省队，代表广东拿过全国联赛银奖。
麻省理工三年读完数学与物理双学位，期间一口气修完20门硕博课程，跨数学、物理、计算机三领域发表6篇顶刊论文，还顺手拿了摩根奖和Schafer数学卓越奖——这俩奖在北美数学界，相当于本科生的诺贝尔奖提名。
后来去牛津读神经科学硕士，研究大脑如何处理复杂逻辑，又跑到斯坦福读数学与法学双博士，一边啃数论难题，一边琢磨AI伦理。
转折出现在2023年深秋，她在斯坦福AI实验室跟Meta研究员Shubho Sengupta喝咖啡，对方吐槽现有大模型数学是硬伤：ChatGPT解微积分还行，遇到需要多步推理的数论问题，得分率骤降到5%，本质是套公式而非真理解。
洪乐潼当场翻出自己研究的大脑逻辑处理模型，发现AI缺的正是人类那种从公理推定理、从特例猜规律的底层推理能力。
那天晚上她在实验室待到凌晨三点，写出17页纸的《AI数学推理缺陷分析》，第二天就跟导师说要退学——与其在论文里讨论AI，不如亲手造一个会推理的AI。
退学后三个月，她拉来的第一个人就是当时吐槽大模型的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后创业者正在AI、机器人等前沿领域扎堆崛起，他们的共同点是：不拼PPT，不讲故事，专挑行业里最难啃的技术骨头啃。
美国AI编程公司Anysphere的CEO Michael Truell是个标准00后，公司开发的代码编辑器Cursor去年年化收入突破10亿美元，估值冲到90亿美元，核心技术是让AI能实时理解程序员的逻辑漏洞；
AI招聘平台Mercor的创始人Foody才22岁，靠AI精准匹配候选人与岗位需求，拿下OpenAI的合作订单，估值20亿美元；
还有AI编程公司Magic，创始人2000年出生，团队用大模型优化代码生成效率，成立两年估值15亿美元。
灵初智能的陈源培拒绝华为“天才少年”百万年薪offer，带着团队死磕21自由度灵巧手，去年靠能拧瓶盖、穿针线的机械手指，拿到英伟达的联合研发订单，公司估值半年破亿；
清华零次方机器人的创始人团队平均年龄23岁，他们开发的小型物流机器人能在0.3秒内识别复杂路况，已签下京东物流的千万级订单；
UniX AI的21岁创始人付智，用自研的分布式训练框架解决大模型算力浪费问题，去年获红杉中国领投的5000万美元融资。
这些00后创业者办公室里几乎见不到精美的路演PPT，墙上贴的全是技术参数表、算法优化公式，连融资谈判都直接甩代码仓库地址——“技术行不行，看代码就知道”。
洪乐潼麻省理工+牛津+斯坦福的履历，陈源培清华姚班的科研经历，付智中科大少年班时发表的芯片架构论文，这些00后创业者的“敲门砖”从不是PPT，而是顶刊论文和专利证书。
他们总能精准戳中行业最痛的“神经”：洪乐潼盯着AI不会推理的底层缺陷，付智死磕大模型算力浪费的卡脖子问题，灵初智能陈源培看准灵巧手在工业场景的空白。
更关键的是他们的全球化整合力——洪乐潼能拉来Meta、牛津的AI大牛，陈源培靠一篇机器人顶会论文打动英伟达合作，22岁的Foody用算法模型说服OpenAI开放接口。
这群年轻人早把“资历”二字从字典里划掉，用数学公式推导商业逻辑，靠代码逻辑重构行业规则，跨学科的知识拼图和对算法的直觉，成了比“十年经验”更硬的底气。
00后已扎堆AI、机器人等硬核领域成主力军，Anysphere估值90亿、Mercor估值20亿，国内灵初智能、零次方机器人靠硬技术拿千万订单。
他们凭顶尖学术背景当敲门砖，精准切中行业底层痛点，用数学公式和代码逻辑重构规则。
AI时代早不为PPT买单，只为可验证的硬科技疯狂，这届00后证明：真正的底气，永远藏在公式与代码的逻辑里。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
谈判桌上掏出一张地图要划江而治，扫了一眼，冷冷甩出一句话，让对面彻底死心
两分难建功？德甲出手给樊振东出了口恶气，撕开圈子的遮羞布
奇瑞“掀桌子”了！首款固态电池车星途ES8，零下30℃续航1000Km
【资讯】2025年广东省中小学科技教育教研员岗位研修暨全国中小学科学教育工作联盟南部片区成果交流活动举行
