00后女博士休学创业，凭AI数学惊艳世界，连国际顶尖数学家都来给她“打工”

2026年元旦前夕，24岁广东女孩洪乐潼入选福布斯2025年“30岁以下30人”榜单。

此前，她的公司开发的“AI数学家”在无人干预的情况下，攻克了困扰数学界50年的两道“埃尔德什难题”。

57岁的国际顶尖数学家小野健，也辞职加入她的公司，不惜押上职业生涯给她“打工”。

水泥地上筑梦，电工的女儿成为数学迷

2007年夏，在广州市天河区的一间出租屋里，6岁的洪乐潼蹲在地上，把晾衣架拆开折成各种几何形状。

刚从制衣厂下夜班回来的母亲见了，不悦地问她：“阿潼，你在干什么？”洪乐潼头都没抬：“我在找三角形的心。”只有初中文化的母亲听了，愣了好一会儿。

数学是洪乐潼最早认识世界的语言。

她的父母是来自广东汕头的务工人员，父亲是一名电工，母亲是一名流水线工人，虽然都没有刻意对她进行指导，但她似乎从小就跟数学十分亲近，并有着很多同龄孩子所没有的天赋。

上小学三年级时，有一天数学老师布置了一道附加题：用1到9这9个数字组成3个3位数，并让它们的比值为1:2:3。当其他同学还在苦思冥想时，洪乐潼已经有了答案：“192、384、576。”

老师惊讶地问她是怎么算出来的，她眨眨眼：“它们像三胞胎，只是长得不一样大。”

真正让洪乐潼显示出数学天赋的，是初二时的一场数学竞赛。

当时学校没有竞赛班，数学老师给了她一本《奥数精讲》：“你自己看，有问题来问我。”

那本书被她翻得卷了边，空白处写满了推演过程。最终，她代表学校参加全市数学大赛，获得第二名。

一天，洪乐潼在图书馆读到一篇关于MIT（麻省理工学院）数学系的文章，在一张演算数学题的草稿纸边缘用铅笔写下了“MIT”，心中也有了一个梦想。

高中时期，洪乐潼入选数学奥林匹克竞赛广东省队，不久在全国高中数学联赛中获得一等奖，在“华罗庚金杯”少年数学邀请赛中也取得佳绩。

凭借这些耀眼的竞赛成绩，洪乐潼拿到了MIT的录取通知书，于2019年夏走进了MIT校园。

洪乐潼在麻省理工学院

为了给她凑齐第一年的学费，父母借遍了亲戚，也只凑到了一部分，不足的部分要靠奖学金和她自己打工去挣。

为节省开支，洪乐潼经常一天只吃两顿饭，午饭通常是图书馆自动贩卖机里最便宜的能量棒。

虽然生活艰苦，但洪乐潼很快就成了学院教授们口中的“那个中国女孩”。

数学系教授理查德·斯坦第一次注意到她，是在她上大一时的一次课堂上。当其他学生还在为ε-δ语言头疼时，洪乐潼已经能用几种不同的方法证明同一个定理。

“她看数学的方式很特别，”斯坦向同事们介绍，“就像欣赏一幅画的整体结构，而不是纠结于某一笔的技法。”

2022年，洪乐潼先后获得摩根奖和爱丽丝·T·谢弗数学奖。

2023年，洪乐潼凭借罗德奖学金，成为牛津大学的研究生。到英国伦敦后，她加入了人工智能先驱杰弗里·辛顿创立的盖茨比计算神经科学中心。

在牛津大学取得硕士学位后，洪乐潼考入美国斯坦福大学读博。

课余时间，她经常到计算机系听讲座，参加AI交流大会，在学术搜索引擎arXiv上追踪最新的数学与AI交叉研究。

休学创业，“办公室”就在咖啡馆一角

2024年秋，洪乐潼接触到一个名为Lean的数学工具。

它就像一位极度严苛的“数学裁判”，要求研究者把推导过程像编写计算机程序一样，拆解成一行行绝对精准的指令。

任何一个隐蔽的逻辑跳跃或模糊表述，都无法通过它的检验。

为了掌握这门“与机器对话的数学语言”，洪乐潼投入了整个寒假。

大年三十晚上，当国内的家人们围坐团圆、享用年夜饭时，大洋彼岸的洪乐潼正对着一屏幕密密麻麻的代码，反复调试一个关于空间形状的数学推导。

2025年1月8日，美国数学年会在西雅图市举行。洪乐潼在会上遇到了来自世界各地研究形式化证明和AI辅助证明的学者。

在一场以“数学自动化的未来”为主题的讨论中，一位资深教授悲观地表示：“真正的创造性证明，AI100年内都无法触及。”

洪乐潼举手提问：“如果我们不要求AI‘创造’，而是让它成为数学家的‘超级助理’，加速从直觉到严谨证明的过程呢？”全场安静了几秒钟，无人回答这个问题。

直到散会后，一位白发苍苍的数学家走到洪乐潼面前，对她说：“年轻人，你说的事情，我们这一代人可能看不到了。但如果你去做，我愿意提供帮助。”

那个夜晚，洪乐潼在下榻的酒店房间里坐了一夜，窗外是太平洋的波涛，她脑子里是两个声音在打架：一个声音说，完成斯坦福的博士学位，去顶尖大学任教，这是最稳妥的路；另一个声音说，Lean和大型语言模型的结合，可能正在打开一扇数学史上从未有过的门，我得进去看一看。

天亮时，她给父母打了越洋电话，说出了自己休学创业的想法。母亲大致问了她的计划，对她说：“阿潼，我和你爸不懂这些。但从小到大，你做的决定都有你的道理，我们支持你。”

挂断电话后，洪乐潼立即打开笔记本电脑写起了商业计划书，她给自己的公司取名Axiom Math。那天是2025年2月14日，一个特别的日子，她选择了与数学订下终身盟约。

洪乐潼创业的第一个“办公室”，是美国硅谷一家咖啡馆的一个角落，每天消费两杯咖啡，能换取一天的“租金”。

Axiom Math主要成员合影，中间为创始人洪乐潼

她的第一位员工，是她在斯坦福BBS上招聘来的——22岁的数学系本科生迈克，一个认为“数学比早餐更重要”的年轻人。

融资的过程充满戏剧性。2025年春，当洪乐潼开始接触风险投资时，正值中国AI公司DeepSeek发布震撼业界的新模型，美国投资者集体陷入AI焦虑。

几乎所有投资人的第一个问题都是：如果DeepSeek明天就做一个数学AI，你怎么办？洪乐潼的回答很直接：“如果他们做，那正好证明这个方向是对的。但我们有两年的领先优势。”

一天，美国科学家舒博·森古普塔来到洪乐潼“常驻”的咖啡馆见朋友。

因朋友临时有事，他就先和“这个有趣的数学女孩”闲聊。不料，一场临时对话竟然持续了4个小时，最后森古普塔对洪乐潼说：“我决定加入你的团队。”

57岁的小野健加入洪乐潼的公司更是一个传奇。

小野健是国际顶尖数学家，在数学逻辑领域享有崇高声望，曾任美国弗吉尼亚大学数学教授，当时是日本京都大学的终身教授。

洪乐潼在MIT读本科时，曾参与小野健的数论项目，算是他的学生。她给这位曾经的老师发了一封邮件，详细阐述了自己创立的“AI数学公司”——Axiom Math的技术路线与发展方向。

小野健凌晨3点回复：“我已订了明天飞美国的机票。”洪乐潼试图劝阻：“您不用先辞去教职……”

“不，”小野健在电话里说，“数学需要一场这样的革命，相信凭你的远见卓识与智慧，会让AI数学走得很远……我愿意押上我的职业生涯。”

国际著名数学家Ken Ono也加盟了洪乐潼的初创公司

公司创立数月估值就高达3亿美元，她也入选福布斯2025年“30岁以下30人”榜单

洪乐潼的团队里，有22岁就解决了组合数学著名猜想的少年天才，有放弃华尔街高薪的理论物理学家，还有从谷歌离职的AI架构师。公司没有豪华办公室，最大的开销是AWS的服务器费用和员工的咖啡供应。

2025年10月，Axiom Math完成了6400万美元（约合人民币4.5亿元）的A轮融资。

领投方对媒体坦陈：“我们投资的不是一家公司，而是一个可能性——数学研究范式变革的可能性。”

融资成功的消息传来时，洪乐潼正在调试一段关于代数几何的代码。她只是点了点头，接着继续工作。当晚，她请团队成员吃了街角的越南粉，人均消费12美元。

但随后，她就在加州的硅谷租了宽敞明亮的写字楼，为员工们提供舒适的办公空间。她说：“投资人的钱也来之不易，我们要花在能提升工作效率的‘刀刃’上。”

洪乐潼创业地——美国硅谷

真正的里程碑，在2025年12月3日到来。

洪乐潼团队开发的Axiom Prover系统“AI数学家”，在无人干预的情况下，仅用1天时间，就证明了“埃尔德什问题集”中的第一道难题，又用5小时证明了第二道。

这两道由著名数学家保罗·埃尔德什提出的学术难题，曾困扰全球数学界50年。洪乐潼在社交媒体上发布结果时，只写了一句话：“今天，我们证明了AI数学的可能性。”

短短几小时，帖子被超万次转发。菲尔兹奖得主陶哲轩评论：“这可能是继计算机辅助证明后，数学工具最重要的进展。”但也有保守派学者质疑：“机器证明的数学还是数学吗？”

面对争论，洪乐潼很平静：“工具不会改变数学的本质，就像望远镜不会改变天文学的本质，只是让我们看得更远一样，AI数学家也只是让我们思考得更快、更严谨。”

洪乐潼心里有一个更大的愿景。在公司的白板上，她画了一个三角形：底边是“AI辅助证明”，左边是“数学教育革命”，右边是“工业级数学软件”。

她希望Axiom最终能成为每个数学工作者工具箱里的“瑞士军刀”。

在她看来，当下正是“AI数学”突破的最佳时机——神经网络推理、数学形式化、大模型代码生成，这三大技术趋势正在汇聚，一场数学复兴的浪潮已近在眼前。

2026年元旦前夕，洪乐潼入选福布斯2025年“30岁以下30人”榜单。此时，她初创仅几个月的公司已名震硅谷，被估值3亿美元，约合人民币21亿元。

在福布斯的颁奖典礼上，有记者问洪乐潼：“24岁就取得这样的成就，你的下一步是什么？”

她想了想说：“我14岁时，觉得能去MIT就是人生顶峰。现在我发现，顶峰之后还有群山，我才刚刚到达山脚。”

END

作者：张东亮

编辑：颜东宝

部分图片来源AI生成

文章来源：

《妇女生活》2026年第3期