草根少女逆袭硅谷！24岁退学斯坦福，带“AI数学家”硬刚OpenAI

硅谷创投圈从不缺传奇，但没人料到，一场震惊业界的AI创业神话，竟由24岁的中国姑娘洪乐潼书写。她创业仅4个月，公司估值破3亿美元（约21亿元人民币），种子轮融资6400万美元（约4.6亿元人民币）引顶级资本追捧；更令人意外的是，57岁数学传奇小野健，辞掉弗吉尼亚大学终身讲席教授职位，成为她公司第15号员工。

洪乐潼

这位2001年生于广州天河城中村的姑娘，凭一款“AI数学家”挑战OpenAI、谷歌DeepMind等巨头，试图改写AI与数学的未来。她的传奇绝非偶然，从14岁草稿纸上的初心，到24岁硅谷逆袭，每一步都藏着极致的热爱与孤勇。

草根少女的逆袭

洪乐潼的数学天赋并非温室产物。父母作为潮汕务工者，给予她自由探索的空间，这份包容让她的天赋得以自然生长。上初中时，洪乐潼已经沉浸在公式的世界里无法自拔。14岁那年，她在写满密密麻麻公式的草稿纸边缘，写下“MIT”三个字母——那是麻省理工学院的缩写，是这个草根少女对远方学术殿堂最朴素的向往。

这份向往，成了洪乐潼前行的目标。凭借过人的天赋和不懈的努力，她顺利考入华南师大附中，成为数学奥林匹克省队的一员。在别人眼里枯燥乏味的题海，在她看来却是最有趣的游戏，从苦苦求索到恍然大悟的快感，让她笃定“数学真美”。在“华罗庚金杯”、全国高中数学联赛的赛场，她一次次站上领奖台，把青涩的热爱，打磨成扎实的底气。2019年，18岁的洪乐潼如愿叩开了MIT的大门，攻读数学与物理双学位。

18岁时，洪乐潼如愿叩开了MIT的大门

走进MIT，意味着身边都是全球顶尖的学霸，但洪乐潼依旧脱颖而出。别人需要4年完成的学业，她3年就轻松拿下，还额外啃下20门硕博课程。本科期间，她不仅担任数学协会主席，还一口气发表9篇高质量论文，研究方向涵盖模椭圆曲线、月光猜想等前沿领域——这些是连很多硕博研究生都望而却步的课题。凭借这些亮眼成果，洪乐潼拿下北美数学本科生最高荣誉摩根奖，成为第5位获此殊荣的女生，也成为整个北美数学界瞩目的新星。

跨界学霸的选择

如果按照常规剧本，洪乐潼应该沿着学霸的道路一路狂奔，成为一名数学家，但她从来都不喜欢按部就班。2022年年底，她获得牛津大学罗德奖学金。这个有“本科生诺贝尔奖”之称的荣誉，当年全中国仅有4人获得，洪乐潼便是其中之一。随后，她赴牛津攻读神经科学硕士，跨界探索让她的视野变得更加开阔。

在牛津期间，洪乐潼还加入了盖茨比计算神经科学中心做研究——这个中心由深度学习之父杰弗里・辛顿（Geoffrey Hinton）创建。数理基础极强的她，搞起AI研究得心应手，一度成为中心里“理论做得最好的年轻人”。也就是在这时，AI与数学的结合，在她心中埋下了一颗种子。

除了数学和AI，洪乐潼还对法律有浓厚的兴趣。2024年8月，她顺利考入斯坦福大学，攻读数学与法学双博士。读博第一年，她全身心投入到法律硬核课程中，还主动用所学知识帮助低收入劳工维权。“有些法律用起来‘软绵绵的’，而有些法律则可以真正地解决问题。”这段经历，让她深刻体会到“学以致用”的意义，无论是数学还是法律，本质都是“直面问题、找到最优解”。

“生活中不能没有数学和科技。”洪乐潼很快就“闲不住”了。她忍不住想读数学文章，想去计算机系蹭课。而让她下定决心放弃博士学位、投身创业的，是一场咖啡馆里的畅谈。2024年秋天的一个周末，她和前Meta工程师苏布霍・森古普塔（Shubho Sengupta）从午后聊到黄昏，话题始终围绕着一个核心：为什么AI解不了世界级数学难题？

彼时，ChatGPT正风靡全球，却被爆数学测试“作弊”——看似能答对96%的美国数学邀请赛题目，但要求展示证明过程时，分数就骤降到5%。洪乐潼一眼戳破了真相：这些模型不是真懂数学，只是靠“背答案”蒙混过关。

一场畅谈，点燃了洪乐潼的创业念头。“我最想解决的，是真正困难的技术问题。”没过多久，她做出一个决定——从斯坦福退学，创办Axiom Math公司，目标直指“打造能自我提升的超级智能推理系统”，做一款真正懂推理、能创新的“AI数学家”。

传奇团队的诞生

创业路上，最难得的是有同频的伙伴。而洪乐潼的魅力，就在于她能汇聚一群顶尖人才。她组建起一支10人“梦之队”：苏布霍・森古普塔曾领导Meta FAIR团队开发OpenGo，是AI领域的资深大牛；弗朗索瓦・沙尔东（François Charton）则是Meta大模型数学研究的核心成员，早在2019年就探索过Transformer技术在数学领域的应用。他们放弃了高薪，追随洪乐潼，只为实现一个共同的梦想——让AI真正懂数学。

最让人意外的，是传奇数学家小野健的加入。他是弗吉尼亚大学薪酬最高的教职人员之一，曾为美国国家安全局提供建议，还主导过全国顶尖的本科生研究项目，在他的指导下，有10人获得摩根奖——其中就包括洪乐潼。美国数学会前主席肯·里贝曾评价他：“他是数学界的传奇。”

传奇数学家小野健加入洪乐潼团队

在此之前，小野健一直是AI的怀疑论者，还拒绝过其他AI公司提供的更丰厚的报酬。但当洪乐潼向他发出邀请时，他却毫不犹豫地辞去了终身教职，毅然加入这家成立仅几个月的初创公司。“我不是为钱而来。”小野健坦言，“有幸参与改变世界运作方式的进程，作为一名纯粹的数学家，这样的机会实属少见。”他负责把公司的AI模型推向极限，设计那些只有真正理解数学原理才能解出的问题。

理想主义的初心，也吸引了资本的青睐。Axiom Math成立仅4个月，就完成6400万美元种子轮融资，由B Capital领投，Greycroft等知名机构跟投，投后估值直奔3亿美元。

这份光鲜背后，是洪乐潼无数个日夜的坚守。2025年年初，DeepSeek横空出世，美国AI市场弥漫着恐慌情绪，而她的团队正处于融资关键期。投资人的问题接踵而至，且往往不在正式的会议室，而是一通突如其来的电话，或一场看似随意的社交晚餐，毫无准备时间。

“我不能有任何的表现失常，因为下一次就不会再有机会了。”为了应对这些突发情况，洪乐潼的大脑总是在高速运转，几乎形成了肌肉记忆。她坦言：“我很少见到种子轮融这么多的，非常少见。”这份认可，是对她努力最好的回报。

黑马的野心

如今，Axiom Math的办公室、会议室都以高斯、阿达·洛夫莱斯等数学巨匠命名，这藏着洪乐潼的学术情怀。她带领团队，正忙着把一本本学术论文转化为程序化知识，朝着“AI数学家”的目标稳步前进。

创业仅4个月，团队就交出了一份惊艳业界的答卷：自主研发的Axiom Prover系统，可在分钟级完成奥数银牌难度几何题，并接连攻克两道困扰数学界数十年的埃尔德什难题——第124题和第481题，分别仅用了1天和5小时，全程无人干预。

洪乐潼的“草根”团队

“我真正感受到了一个AI moment，有些事情和昨天不一样了。正如AI解决蛋白质折叠问题一样，AI数学家是送给人类的礼物！”洪乐潼在社交平台发文感慨。

面对OpenAI、谷歌DeepMind等巨头的竞争，洪乐潼并不畏惧。 “我们要做的，不是让AI‘背答案’，而是打造‘数学领域的AlphaGo’，能自主发现并解决全新问题。”在她的设想中，这款“AI数学家”，未来不仅能解决数学难题，还将进军金融建模、芯片架构等领域，提供“数学即服务”的解决方案，甚至能提出新的数学猜想，产生全新的知识。

如今的洪乐潼，不仅是估值3亿美元公司的创始人，还成功入选“福布斯30岁以下30人”榜单，成为无数年轻人的榜样。但她却坦言，自己最喜欢的事情，并不是当精英，而是做“草根”。“做草根，学习的坡度最陡、速度最快。”她用“草根工程师精神”形容自己的团队——即使是资深“牛人”，也要保持空杯心态，从头学起，不断自我革新。

而洪乐潼的终极梦想，藏在电影《知无涯者》的故事里。“如果世界上某个角落有一个拉马努金（印度数学天才，仅凭直觉写下无数猜想，却不懂证明），那么‘AI数学家’能够帮助他完成证明，让他有更多时间和能量去进行下一个直觉的发现。”洪乐潼说，“我们的梦想，其实是数学发现本身。”