00后创始人洪乐潼引领AI数学革命，Axiom获6400万美元融资

在创投圈，00后的身影愈发频繁地出现。

投资界消息，Axiom Math已完成首轮融资6400万美元（折合人民币约4.6亿元），由B Capital领投，Greycroft、Madrona和Menlo Ventures等机构共同参与。本轮融资后，Axiom估值达到3亿美元（折合人民币约20亿元）。

缔造Axiom的正是洪乐潼（Carina Hong）——一名不折不扣的00后。她在广州出生长大，就读华南师大附中，并在奥数竞赛中屡获佳绩。后考入麻省理工学院，并在牛津大学获得硕士学位，目前正于斯坦福大学攻读博士学位。有趣的是，Axiom的诞生源自一次咖啡馆的交流。

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

悄然间，越来越多的00后创始人正在AI领域崭露头角。

10人团队，完成首轮融资

估值达20亿

Axiom究竟是何方神圣？

官网显示，这家新兴的AI公司，定位为“以AI数学家为起点，打造一个能够自我提升的超级智能推理系统”。简而言之，这是一个能够解决复杂数学问题的模型，能够生成详细的推理步骤并验证答案。

具体来说，Axiom旨在将教科书、论文和期刊中的数学内容转换为程序化知识，使得AI能够解决数学问题并通过验证来检验解答。未来，这一模型的应用场景有望拓展至金融建模、芯片架构乃至量化交易等领域。在创始人洪乐潼的设想中，该模型甚至可能提出新的数学猜想，从而催生全新知识。

为何选择AI数学赛道？背后有一段故事。今年ChatGPT o3曾爆出在数学测试中作弊，洪乐潼在社交媒体上指出，OpenAI大模型之所以表现良好，可能是因为在训练时已接触过这些题目。

她举例称，美国数学邀请赛考试中，部分大语言模型虽能达到96%的准确率，但当要求展示证明过程时，分数骤降至5%。“为什么会有这样的差异？因为训练方式有问题。”当前AI大模型无法完美解决的组合数学问题，恰是洪乐潼的研究专长。

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

如今首轮融资尘埃落定，Axiom的核心团队也首次亮相——尽管目前仅有10名全职员工，但多位来自Meta的AI大牛也加入其中。

例如现任CTO Shubho Sengupta，曾领导Meta FAIR团队开发OpenGo和CrypTen；François Chanton则在Meta负责大语言模型在数学和理论物理学的研究；Hugh Leather也是Meta前人工智能研究科学家。他们共同为Axiom的未来发展贡献力量。

作为此次领投方，B Capital合伙人在官网中表示，解决复杂的数学问题对人类发明至关重要。因此，能够提出新的定量假设并进行验证的工具无疑具有极高价值。而Axiom团队具备独特优势，能够抓住这一机遇将先进的数学推理技术变为现实。

“Carina Hong不仅拥有非凡的学术成就和热情专注的创业者精神，还展现了卓越的领导力。”她的征程才刚刚开始。

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

传奇人生

Axiom的故事与洪乐潼的成长经历密不可分。

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

本科期间担任数学协会主席并修读20个硕博课程发表多篇学术论文涉及模椭圆曲线与K3曲面等领域。毕业前后她不仅拿下Schafer数学卓越奖还获得北美数学本科生最高荣誉——摩根奖成为第五位获奖女生之一。

2022年底洪乐潼成功获得牛津大学罗德奖学金成为仅有的四名中国获奖者之一。随后前往英国牛津大学学习神经科学并修得硕士学位期间还在伦敦大学学院进行人工智能和机器学习研究当时她曾表示“未来科学家与人工智能的互动是我希望研究的课题。”

到了2024年8月洪乐潼进入斯坦福大学攻读数学博士和法学博士。“我一直是一名研究者。”她此前在一次采访中表示内心深处最想要解决真正困难的技术问题很快博士在读期间她便闯入了AI界。

创办Axiom源于一次咖啡馆的交流去年秋天的一个周末洪乐潼与当时还在Meta工作的Shubho Sengupta进行了几个小时的交流讨论了两人的研究领域的交叉点以及开发人工智能解决世界上最棘手的数学问题的可能性这次交流后不久洪乐潼便从斯坦福退学着手创办Axiom。

有意思的是Axiom的会议室都是以数学巨匠命名如高斯和阿达·洛夫莱斯。

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

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

投身AI

更多年轻面孔涌现

放眼全球越来越多的年轻创业者正涌入AI领域。

不久前两位来自麻省理工的00后——22岁的华裔女生Jessica Wu和23岁的尼尔·德什穆克所创立的Sola Solutions获得硅谷知名风投的青睐融资总额达2100万美元（折合人民币约1.5亿元）。

类似案例层出不穷今年5月AI初创公司Anysphere完成9亿美元融资（折合人民币约65亿元）估值达90亿美元成为今年最火AI编程独角兽之一。而公司创始人Michael Truell及其三位同学均毕业于麻省理工学院他们瞄准AI编程赛道并改变编程方式迅速席卷硅谷AI圈。

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

将视线转回国内相似的创业故事也在上演今年初三个来自清华的“极客”——闵宇恒、程颐、李宜哲创业做机器人零次方诞生。如今公司完成天使+和天使++轮亿元级融资集结河创投、同创伟业等知名机构。

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

“我们始终坚信创业很多时候属于年轻人。”真格基金管理合伙人戴雨森感慨道“无知者无畏。科技创新成果往往源于当事人的无畏从而萌生创新想法。”

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