2026年元旦前夕，24岁的广东女孩洪乐潼成功入选“福布斯30岁以下30人”榜单。此前，她所创立的公司开发的“AI数学家”系统，已在完全无人干预的情况下，攻克了两道困扰数学界长达50年的“埃尔德什难题”。而57岁的国际知名数学家、美国弗吉尼亚大学教授小野健，更是毅然辞去工作加入她的团队，不惜押上自己的职业生涯，为这位曾师从于他的中国学生“打工”。那么，洪乐潼成功的背后，有着怎样的故事呢？

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

2007年夏天的一个夜晚，广州市天河区一间出租屋里，6岁的洪乐潼蹲在地上，用粉笔在水泥地上勾勒着古怪的图案。刚从制衣厂下夜班的母亲推开门，只见女儿把晾衣架折成各式几何形状放在地上。“阿潼，你在做什么？”母亲带着愠色问道。“我在找三角形的心。”小女孩头也没抬地应着。这句回答让只有初中文化的母亲愣怔了好一会儿。在这间不足30平方米的出租屋里，数学成了洪乐潼认知世界的第一扇门。她的父母是来自广东汕头的务工人员，父亲在工地做电工，母亲在制衣厂的流水线做工，家里最值钱的物件是一台二手电视机和父亲的工具箱。

洪乐潼数学天赋的“觉醒”，来得毫无征兆。上三年级时，数学老师布置了一道附加题：用数字1到9组成3个三位数，使它们的比值为1：2：3。其他同学还在苦思冥想之际，洪乐潼已举起手报出答案：“192、384、576”。老师惊讶地问她如何算的，她眨了眨眼说：“它们像三胞胎，只是个头不一样大。”

真正改变洪乐潼人生轨迹的，是初二时的一场数学竞赛。学校没有专门的竞赛班，数学老师把一本《奥数精讲》塞到她手里：“你自己先看看，有问题就来问我。”那本书被她翻得边角起了毛边，空白处密密麻麻写满了推演过程。代表学校参加全市数学大赛时，洪乐潼拿下了第二名。

14岁那年，洪乐潼在图书馆的过期期刊区读到一篇关于麻省理工学院（MIT）数学系的报道。当天傍晚，她在解一道组合数学题的草稿纸边缘，用铅笔轻轻写下“MIT”三个字母，随即又迅速用橡皮擦掉，仿佛那是个需要严守的秘密。

高中时，洪乐潼入选数学奥林匹克广东省队，是省队里为数不多的女生之一。此后，她在全国高中数学联赛中斩获一等奖，还在“华罗庚金杯”少年数学邀请赛中取得佳绩。凭借一系列全国竞赛的亮眼成绩，洪乐潼拿到了麻省理工学院的录取通知书。2019年的夏天异常炎热，当她背着简单的行李站在麻省理工学院校园里时，耳边仿佛响起了广州出租屋里那台老式电扇的嗡鸣声。

父母借遍了亲戚，才凑齐她第一年的部分费用，剩下的要靠奖学金和打工填补。洪乐潼没敢告诉父母，为了省钱，她常常一天只吃两顿饭，午饭通常是图书馆自动贩卖机里最便宜的能量棒。

在麻省理工学院，洪乐潼成了教授们口中的“那个中国女孩”。数学系教授理查德·斯坦第一次注意到她，是在大一的课堂上。“她看待数学的方式很特别，”斯坦向同事们介绍道，“就像欣赏一幅画的整体结构，而非纠结于某一笔的技法。”

2023年，洪乐潼又进入牛津大学读研。在英国伦敦，她加入了人工智能先驱杰弗里·辛顿创立的盖茨比计算神经科学中心。从牛津大学取得硕士学位后，洪乐潼考入美国斯坦福大学攻读博士。课余时间，她频繁跑去计算机系听讲座，积极参与AI交流大会，还在学术搜索引擎arXiv上追踪数学与AI交叉领域的最新研究。

放弃读博士去创业，“办公室”是咖啡馆一角

2024年秋，洪乐潼接触到一款名为“Lean”的数学工具。它宛如一位极度严苛的“数学裁判”，要求研究者将推导过程拆解为一行行绝对精准的指令，如同编写计算机程序般严谨。任何隐蔽的逻辑跳跃或模糊表述，都无法逃过它的检验。为掌握这门“与机器对话的数学语言”，洪乐潼投入了整个寒假。

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

2025年1月，在美国举办的数学年会上，洪乐潼结识了来自全球各地研究形式化证明与AI辅助证明的学者。在一场关于“数学自动化的未来”的讨论中，一位资深教授悲观地断言：“真正具有创造性的证明，AI一百年内都无法触及。”

洪乐潼随即举手提问：“倘若我们不要求AI‘创造’，而是让它成为数学家的‘超级助理’，加速从直觉到严谨证明的转化过程呢？”全场短暂静默。散会后，一位白发苍苍的数学家走到她面前说：“年轻人，你所说的事，我们这代人或许无缘见证。但如果你决心去做，我愿意提供帮助。”

之后，洪乐潼拨通了给父母的越洋电话。母亲接起电话，背景里传来制衣厂机器的轰鸣。“妈，我想休学创业。”电话那头沉默良久。“创业……是什么意思？”“就是自己开公司，做AI辅助数学研究的工具。”“那你的博士学位呢？那是斯坦福的博士学位啊……”“以后再拿。”又是一阵沉默。“阿潼，我和你爸不懂这些。但从小到大，你做的决定都有你的道理。我们支持你。”

挂掉电话，洪乐潼打开笔记本电脑，写下了Axiom Math公司的第一行商业计划书。那天是2025年2月14日，情人节，她选择与数学定下终身盟约。

洪乐潼创业的第一个“办公室”，是美国硅谷一家咖啡馆的角落——她每天用两杯咖啡的消费，换取一整天的“租金”。第一位员工是她在斯坦福BBS上招聘来的22岁数学系本科生迈克，一个声称“数学比早餐更重要”的年轻人。

融资过程充满戏剧性。2025年春，洪乐潼开始接触风险投资时，恰逢中国AI公司DeepSeek发布震撼业界的新模型，美国投资者集体陷入“AI焦虑”。几乎所有投资人的第一个问题都是：“如果DeepSeek明天就推出一款数学AI，你怎么办？”洪乐潼的回答干脆利落：“如果他们做，恰恰证明这个方向是对的。而我们已有两年的领先优势。”

一天，美国科学家舒博·森古普塔来到洪乐潼“常驻”的咖啡馆见朋友。朋友临时有事，让他可以“先和这个有趣的数学女孩聊十分钟”。不料，这场对话持续了4小时，最终森古普塔对洪乐潼说：“我决定加入你的团队。”

57岁的小野健加入洪乐潼的公司，更是一段传奇。他是国际著名数学家，曾任美国弗吉尼亚大学数学教授，是京都大学终身教授，在数学逻辑领域声望卓著。洪乐潼给这位昔日的老师发去一封长邮件，详细阐述自己创立的“AI数学公司”——Axiom Math的技术路线与发展方向。

小野健凌晨3点回复：“我已订好明天飞美国的机票。”“您不用先辞去教职……”洪乐潼试图劝阻。“不，”小野健在电话中说，“数学需要一场这样的革命。我相信凭你的远见卓识与智慧能让AI数学走得更远……我愿意押上我的职业生涯。”

引“数学大佬”竞折腰，初创公司估值21亿元

洪乐潼的团队如同一块磁石，吸引着各类“数学大佬”汇聚于此：有22岁便攻克组合数学著名猜想的少年天才，有放弃华尔街高薪加盟的理论物理学家，也有从谷歌离职的AI架构师。公司没有豪华的办公场地，最大的开销是AWS服务器费用与员工的咖啡供应。

2025年10月，Axiom Math公司完成6400万美元（约合人民币4.5亿元）的A轮融资。投资人对媒体表示：“我们投资的并非一家公司，而是一种可能性——数学研究范式发生变革的可能性。”

融资成功的消息传来时，洪乐潼正专注地调试一段关于代数几何的代码。她只是平静地点点头，随即继续投入工作。当晚，她请团队成员去街角吃越南河粉，人均消费12美元。

不久后，她在加州硅谷租下了宽敞明亮的写字楼，为员工打造舒适的办公环境。对此洪乐潼解释道：“投资人的资金来之不易，我们要把钱花在能提升工作效率的‘刀刃’上。”

真正的里程碑在2025年12月3日到来。洪乐潼团队研发的Axiom Prover系统，在无人干预的情况下，仅用1天便证明了“埃尔德什问题集”中的第一道难题，又耗时5小时攻克了第二道。

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

短短几小时内，这条帖子的转发量便突破万次。菲尔兹奖得主陶哲轩评论道：“这或许是继计算机辅助证明之后，数学工具领域最重要的进展。”也有保守派学者质疑：“机器证明的成果还算数学吗？”

面对这些争论，洪乐潼显得十分平静：“工具不会改变数学的本质。就像望远镜没有改变天文学的本质，只是让我们看得更远；‘AI数学家’也不会改变数学的本质，它只是让我们思考得更快、更严谨。”

洪乐潼心中还有着更深层的愿景。在公司的白板上，她画下一个三角形：底边标注“AI辅助证明”，左侧是“数学教育革命”，右侧为“工业级数学软件”。她希望Axiom最终能成为每位数学工作者工具箱中的“瑞士军刀”。

在洪乐潼看来，当下正是“AI数学”实现突破的最佳时机——神经网络推理、数学形式化、大模型代码生成这三大技术趋势正加速汇聚，数学复兴的门槛已近在眼前。未来，Axiom系统还将进军金融建模与量化交易领域，为对冲基金提供“数学即服务”的解决方案。

2026年元旦前夕，洪乐潼入选福布斯2025年“30岁以下30人”榜单。此时，她初创仅数月的公司已在硅谷声名鹊起，估值达3亿美元（约人民币21亿元）。

颁奖典礼上，有记者问她：“24岁就取得如此成就，你的下一步计划是什么？”她思索片刻后回答：“14岁时，我以为能进入麻省理工就是人生的顶峰。如今我发现，顶峰之后还有连绵群山，我们才刚刚抵达山脚。”

福布斯榜单的光芒并未改变她眼中那份源自广州出租屋的专注。这位潮汕女儿用代码书写的新故事，内核依旧是父亲工具箱里的精巧匠心、母亲缝衣线上的坚韧恒心，以及她童年在水泥地板上用粉笔追寻的“数学之心”。洪乐潼用自身经历证明：当你以热爱与坚持追逐梦想，即便身处出租屋的水泥地，也能铺展开属于自己的“星辰大海”。

编辑|龙轲轲