00后广州姑娘火了！斯坦福退学搞AI数学，狂揽6400万

AI科技 2025年10月12日 14:28 1 aa

最近创投圈炸了个大新闻：一家叫AxiomMath的AI公司刚成立没多久，就拿到了6400万美元融资，换算成人民币差不多4.6亿，投完之后公司估值直接冲到了20亿。

更让人吃惊的是，这家公司的创始人是个24岁的广州姑娘，还是个实打实的00后，这事要是放在十年前，没人会信。

一个刚出校门没多久的年轻人，既没有大厂高管的履历，也没有成熟的产品和用户，凭什么能让BCapital这种顶级资本心甘情愿砸钱？但现在，在AI浪潮里，这样的故事正在变成常态。

一

说起洪乐潼，广东教育圈的人可能早有耳闻，出生在广州的她，父母是潮汕来的普通务工者，没读过什么大学，但她从小就显露出了过人的数学天赋。

中学考进华南师大附中后，她成了数学竞赛圈的常客，在“华罗庚金杯”、全国高中数学联赛这些含金量极高的比赛里拿奖拿到手软，还成了广东省奥数省队里仅有的四名女生之一。

2019年，19岁的洪乐潼考入麻省理工学院，直接选了数学和物理双学位。

在别人还在适应大学节奏的时候，她已经开始“开挂式”成长：不仅用三年就修完了双学位，还额外读了20门硕博阶段的课程，顺手拿下了每年只发给一名本科女生的Schafer数学卓越奖。

更厉害的是，她还摘得了北美数学本科生的最高荣誉摩根奖，成为这个奖项历史上第五位获奖的女性。

按常理说，这样的学术尖子大概率会沿着科研路一直走下去，但洪乐潼的选择总是出人意料。

2022年底，她拿到了有“本科诺贝尔奖”之称的罗德奖学金，成为当年中国大陆仅有的四位获奖者之一，远赴牛津大学读神经科学硕士。

要知道，罗德奖学金的获奖率只有万分之一，历届得主里出了四十多位国家领导人，十多个诺贝尔奖获得者，含金量可想而知。

在牛津期间，她开始研究人工智能和机器学习，琢磨“AI和科学家未来会怎么互动”这个问题。

等到2024年8月进入斯坦福大学攻读数学和法学双博士时，她心里已经有了更清晰的答案，不过谁也没料到，仅仅几个月后，她会做出一个更惊人的决定——从斯坦福退学创业。

二

创业的念头源于一次咖啡馆的闲聊，去年秋天的一个周末，洪乐潼在斯坦福附近的咖啡馆见了当时还在Meta工作的ShubhoSengupta，两个人聊了足足几个小时，越聊越投机。

他们发现，现在的AI大模型虽然看着风光，但在数学推理这个硬骨头面前，其实根本不够看。

这可不是空穴来风，之前ChatGPTO3就被爆出数学测试“作弊”，洪乐潼在社交媒体上直接点破了关键：这些大模型之所以能答对题，很可能是训练时早就见过这些题目。

她举了个例子，美国数学邀请赛里，有些大模型选择题能拿到96%的正确率，但只要让它们写出解题步骤，分数立马跌到5%。

说白了，这些模型只是在“抄答案”，根本不懂背后的逻辑，而这正是洪乐潼的机会，她专攻的组合数学，恰恰是当前AI最头疼的领域。

更关键的是，她看透了AI数学推理的核心痛点：不是模型不够强，而是训练方式出了问题。

现在的大模型学的是“结果”，而不是“过程”，更没法像人类数学家那样严谨地验证答案。

想通了这一点，洪乐潼当即决定退学，拉着Sengupta一起创办了Axiom，这家公司的定位很明确：做一个能自己思考、自己验证的“AI数学家”，先把数学问题解决透，再往金融建模、芯片架构、量化交易这些高端领域延伸。

在她的设想里，未来这个模型甚至能提出新的数学猜想，创造全新的知识，虽然公司现在只有10名全职员工，但堪称“神仙阵容”。

CTOSengupta是Meta前AI团队负责人，不仅开发过OpenGo，还是最早搞CUDA技术的专家之一；还有几位核心成员都是Meta出来的老炮，早在2019年就开始用Transformer技术解决数学问题。

能把这些大牛聚到一起，光靠情怀可不够，更多是因为大家都认准了AI数学这个赛道的潜力。

领投方BCapital的合伙人说得很实在：解决复杂数学问题是很多发明的核心，要是真能做出一个能提假设、能验证的工具，价值根本无法估量。

而洪乐潼的团队刚好踩在了这个点上——既有她这样懂数学本质的学术尖子，又有懂AI工程落地的技术大牛，这种组合在行业里太稀缺了。

有意思的是，Axiom的会议室都用数学巨匠的名字命名，比如高斯、阿达·洛夫莱斯，从这些细节能看出来，这确实是个既懂专业又有情怀的团队。

洪乐潼之前就说过，她想写一个像DeepSeek那样的故事：小而专注的团队，一群理想主义者凭着信念做事，执行力还超强，现在看来，她正在一步步实现这个目标。

三

洪乐潼的走红，其实是00后集体进军AI创业圈的一个缩影，最近这两年，越来越多二十出头的年轻人开始在这个赛道崭露头角，他们大多从名校退学，带着小团队，一出手就能拿到上亿融资。

为啥资本愿意给这些年轻人下血本？有投资人一语道破：这波AI革命太新了，跟之前的互联网时代完全不同，老经验不仅没用，反而可能成为包袱。

00后是跟着AI长大的一代，对新技术的敏感度和接受度天生就高，他们没有思维定式，敢想敢干，反而更容易抓住本质。

真格基金的戴雨森最近就感慨，创业很多时候就是年轻人的游戏，“无知者无畏”反而能催生出创新想法。

这话放在AI领域尤其贴切，数学推理、具身智能这些新方向，本身就没有成熟的路径可走，谁能先突破技术瓶颈，谁就能占得先机。

而年轻人敢闯敢试的特质，刚好契合了这种探索性的需求，再看洪乐潼的经历，从奥数牛娃到学术精英，再到创业新兵，每一步看似跳跃，实则环环相扣。

她在数学领域的深厚积累，让她能看透AI推理的核心问题；在牛津和斯坦福的跨学科学习，让她懂得怎么把数学和AI结合起来；而她身上那种科学家的严谨和创业者的果断，更是让资本愿意下注的关键。

现在的Axiom还没推出成品，但已经瞄准了明确的方向，他们想把教科书、论文里的数学知识变成AI能读懂的“程序语言”，让AI不仅能算出答案，还能一步步展示推理过程，算完之后自己验证对错。

这种技术要是真能落地，不管是金融机构做量化交易，还是芯片公司搞架构设计，效率都能提升一大截。

更长远来看，洪乐潼想让AI参与到数学发现中，要知道，人类历史上很多重大的科学突破都源于数学猜想，要是AI真能提出新猜想、验证新定理，那可能会开启一场“数学复兴”。

这听起来有点科幻，但谁也不能否认这种可能性——毕竟在AI出现之前，没人能想到机器能打败围棋世界冠军，现在不也实现了吗？

从广州的普通家庭，到硅谷的创业新星，24岁的洪乐潼已经走了很远，但对她来说，这可能只是个开始。

就像Axiom官网上写的那样：“数学发现的未来，就从这里开始。”而对整个AI行业来说，像洪乐潼这样的00后创业者正在登场，他们带着新鲜的视角和无畏的勇气，或许真的能改写未来的游戏规则。

有人说，这代年轻人太幸运了，刚毕业就赶上了AI的黄金时代，但反过来想，也是这个时代需要他们——毕竟科技创新从来不是按资排辈的游戏，只要有真本事，有好想法，年纪从来不是问题。

正如那句老话所说：“少年负壮气，奋烈自有时。”在AI重塑世界的浪潮里，这些年轻的创业者，注定会留下属于他们的印记。

祝贺！中国科学家首获这项国际大奖

终于发现“微乐手机麻将一直输的原因（专用辅牌神器免安装）

发表评论

00后广州姑娘火了！斯坦福退学搞AI数学，狂揽6400万

一

二

三

祝贺！中国科学家首获这项国际大奖

终于发现“微乐手机麻将一直输的原因（专用辅牌神器免安装）

热门文章

最新文章