00后广州女学霸洪乐潼引领AI数学革命，Axiom Math完成6400万美元融资

在创业投资领域，00后一代正迅速崛起，成为一股不可忽视的新生力量。

投资界最新消息，AI数学公司Axiom Math正式完成首轮6400万美元（约合人民币4.6亿元）融资，本轮由B Capital领投，Greycroft、Madrona和Menlo Ventures等机构跟投，投后估值达3亿美元（约合人民币20亿元）。

打造这一公司的正是00后洪乐潼（Carina Hong）——她在广州出生长大，曾就读于著名的华南师大附中，多次在数学奥林匹克竞赛中斩获奖牌。之后考入麻省理工学院，硕士毕业于牛津大学，目前正在斯坦福大学攻读博士学位。值得一提的是，Axiom的创立灵感来源于一次咖啡馆的深入交流。

(图片来源：麻省理工学院)

悄然间，00后创始人正大规模涌入AI舞台，成为行业新焦点。

10人团队，完成首轮融资

估值20亿

Axiom究竟是一家怎样的公司？

官网显示，这家新兴AI企业定位为“以AI数学家为起点，构建一个能够自我进化的超级智能推理系统”。简而言之，这是一个可解决复杂数学问题的模型，能生成详细推理步骤并进行自我验证。

具体来说，Axiom致力于将教科书、论文和期刊中的英文数学内容转化为程序化知识，使人工智能能够解决数学问题并验证解答准确性。未来，该模型的研究场景有望拓展至金融建模、芯片架构乃至量化交易等领域。在创始人洪乐潼的愿景中，该模型甚至可能提出全新数学猜想，从而创造前所未有的知识。

为何聚焦AI数学赛道？背后有一段趣事。今年ChatGPT o3被曝在数学测试中可能存在作弊行为，洪乐潼在社交媒体指出，OpenAI的大模型数学表现优异，或许是因为训练时已接触过相关题目。

她举例称，在美国数学邀请赛考试中，部分大语言模型准确率可达96%，但当要求展示证明过程时，分数骤降至5%。“这种差异源于训练方式的局限性。”当前AI大模型难以完美解决的组合数学问题，恰是洪乐潼的研究专长。

在Axiom看来，人工智能带来了历史性转折点，数学领域的发现将以指数级速度发展，人类正站在一场数学复兴的门槛上。这场复兴建立在三大支柱之上：人工智能、编程语言以及数学，三者协同推进，每一次突破都为下一次创新注入动力。

随着首轮融资落地，Axiom的核心团队首次亮相——尽管仅有10名全职员工，但其中不乏多位来自Meta的AI顶尖人才。

例如现任CTO Shubho Sengupta，曾领导Meta FAIR团队，开发出OpenGo和CrypTen，此前还参与过Google分布式训练系统的研究工作，同时也是CUDA技术的早期开发者之一；François Charton，则在Meta负责过大语言模型在数学和理论物理学的研究，自2019年起便探索如何将Transformer技术应用于复杂数学问题；Hugh Leather，也是Meta前人工智能研究科学家，曾开发出首批用于编译器和GPU代码生成的大语言模型。

作为领投方，B Capital合伙人在官网中表示，解决复杂数学问题是许多人类发明的核心，因此一种能够提出新定量假设并进行验证的工具，具有极高价值。而Axiom团队具备独特优势，能将先进的数学推理技术变为现实。

“Carina Hong是一位杰出的数学家，她不仅拥有非凡的学术成就，更具备优秀创业者所特有的热情与专注力，将远见卓识与坚定不移的执行力完美结合。”她的征程才刚刚拉开序幕。

一位00后女学霸带队，来自广州

Axiom的故事，与一路开挂的洪乐潼密不可分。

出生于广州，今年24岁，她的父母是土生土长的潮汕人。尽管父母未接受高等教育，洪乐潼却自幼展现出过人数学天赋，中学就读于广东名校华南师范附中。高中时期，她是数学奥林匹克省队中仅有的四名女生之一，多次在“华罗庚金杯”、全国高中数学联赛等竞赛中取得佳绩。2019年，她考入麻省理工学院，攻读数学和物理双学位。

本科期间，洪乐潼担任数学协会主席，并修读20个硕博课程，发表多篇高质量学术论文，涉及模椭圆曲线与K3曲面的L函数、月光猜想、弹出栈排序算法研究等领域。毕业前后，她先获得Schafer数学卓越奖，该奖每年仅颁发给一名本科女生；后荣获北美数学本科生最高荣誉——摩根奖，成为第五位获此殊荣的女生。

2022年底，洪乐潼成功拿到牛津大学罗德奖学金，成为仅有的四名中国获奖者之一。罗德奖学金历史悠久，享有“本科诺贝尔奖”的美誉。

随后，洪乐潼前往英国牛津大学学习神经科学，获得硕士学位。期间还在伦敦大学学院进行人工智能和机器学习研究，当时她曾表示，“人工智能与科学家未来的互动会怎样？是我接下来希望深入探索的课题。”

到了2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士。“一直以来，我都是一名研究者。”此前在一次采访中她称，内心深处最渴望解决真正困难的技术问题。很快，还在博士就读的她毅然闯入AI创业界。

她创办Axiom源于一次咖啡馆的偶然交流。

去年秋天的一个周末，洪乐潼在斯坦福附近的一家咖啡馆，与当时还在Meta工作的Shubho Sengupta进行了深入对话。两人聊了几小时，探讨了各自研究领域的交叉点，以及开发人工智能解决世界棘手数学问题的可能性。

这次交流后不久，洪乐潼便从斯坦福退学，全力创办Axiom。有趣的是，Axiom的会议室均以数学巨匠命名，例如高斯和阿达·洛夫莱斯。

就在年初DeepSeek火爆全球之际，洪乐潼曾发出这样的感慨：“一个小而专注、特立独行的团队。一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。这就是DeepSeek的故事，也是我想亲自书写的故事。”

正如Axiom在官网中所言，“数学发现的未来，就从这里开始。”

投身AI，00后正集体登场

放眼全球，00后创始人正集体登上AI舞台。

不久前，两位来自麻省理工的00后——22岁的华裔女生Jessica Wu和23岁的尼尔·德什穆克，所创立的Sola Solutions拿下硅谷知名风投的融资。官网显示，融资包括由Conviction领投的350万美元种子轮，以及由a16z领投、Conviction跟投的1750万美元A轮，总计2100万美元（约合人民币1.5亿元）。

这样的案例正在不断涌现。

今年5月，AI初创公司Anysphere完成一轮9亿美元融资（约合人民币65亿元），估值达90亿美元，成为今年最炙手可热的AI编程独角兽之一。而掌舵公司的是四位年轻面孔——2022年，从麻省理工学院毕业的Michael Truell和他三位同学一拍即合，瞄准AI编程赛道下场创业，旗下产品Cursor一举改变编程方式，迅速席卷硅谷AI圈。

无独有偶，今年3月AI招聘网站Mercor宣布完成1亿美元B轮融资，估值达到20亿美元，成长速度令人瞩目。公司创始人是三位退学的00后。大二那年，三人在宿舍里创立Mercor，后来决定从哈佛及乔治敦大学退学全职创业。

将视野拉回到国内，相似一幕同样上演。

今年初，三个来自清华的“00后极客”——闵宇恒、程颐、李宜哲创业做机器人，零次方诞生。如今公司一举完成天使+和天使++轮亿元级融资，集结河创投、同创伟业、力合科创、水木基金、瑞穗力合、拉尔夫创投等知名机构。

还有此前完成天使轮融资的灵初智能，由高瓴创投和蓝驰创投领投，公司联合创始人陈源培是一名痴迷机器人的00后，曾作为Stanford访问学者师从Karen Liu和李飞飞教授；具身智能公司UniX AI创始人兼CEO杨丰瑜，出生于2000年，本科就读于密歇根大学计算机专业，从耶鲁大学博士毕业后回国创业，同样受到不少VC的关注。

一支00后军团悄然崛起。曾有投资人分析，这一波AI创业潮中，00后和90后、80后的创始人起点相似，甚至前者更具优势。因为许多事物太新，原有经验无法直接复用，而00后没有包袱，对新事物的认知触感更为敏锐。

“我们始终坚信，创业在很多时候是属于年轻人的。”真格基金管理合伙人戴雨森最近感叹，“无知者无畏。诸多科技创新成果诞生，正是源于当事人虽了解却无所畏惧，由此萌生出创新想法。”

“少年负壮气，奋烈自有时。”每一代年轻的创业者，注定在历史长河里留下属于自己的印记。