4个月，估值21亿！00后广州少女惊艳硅谷

4个月估值21亿，传奇数学家小野健为她打工。

24岁的广州少女洪乐潼，用一场AI创业奇迹，惊艳了硅谷创投圈。

此时，她比刚被Meta收购的Manus创始人肖弘年轻8岁，比等来蔡崇信加盟的马云小11岁。她为什么这么牛？初中时，她就已经在草稿纸上，为梦想设下了遥不可及的目标。

洪乐潼的数学天赋，藏在广州城中村的烟火气里。父母是从未上过大学的潮汕务工者，却给了她自由探索的空间。

14岁那年，她总在写满公式的草稿纸边缘，一笔一划写下“MIT”三个字母（麻省理工学院），那是她对远方学术殿堂的最初向往。

进入华南师大附中后，她成为数学奥林匹克省队中的一员，普通人挠头的题海成为了她热爱的支点。

“第一次为了证明一种推广熬通宵，第一次因发现妙解而欢蹦乱跳”，多年后她回忆起这段时光，仍能清晰说出那种从苦苦求索到恍然大悟的快感，也正是这份快感，让她笃定“数学真美”。在“华罗庚金杯”、全国高中数学联赛的赛场，她一次次站上领奖台，把青涩的热爱，打磨成扎实的底气。

2019年，18岁的洪乐潼如愿叩开MIT的大门，攻读数学与物理双学位。别人需要四年完成的学业，她三年就轻松拿下，还额外啃下20门硕博课程，成了系里公认的“拼命三娘”。本科期间，她不仅担任数学协会主席，还一口气发表9篇高质量论文，研究方向涵盖模椭圆曲线、月光猜想等前沿领域，连MIT导师都忍不住称赞：“当多数人还在关注应用层时，她已瞄准数学证明自动化这一基础难题。”凭借这些亮眼成果，她拿下北美数学本科生最高荣誉摩根奖，成为第五位获此殊荣的女生。

2022年底，牛津大学罗德奖学金递到了她面前，这个有“本科生诺贝尔奖”之称的荣誉，让她成为当年仅四位的中国获奖者之一。随后她赴牛津攻读神经科学硕士，用数学视角解读生物医学。

2024年洪乐潼又考取了斯坦福大学数学与法学双博士。但她没有按学霸开挂的剧本继续前行，而是做出了一个让很多人难以理解的决定——退学创业。

去年秋天的周末，斯坦福附近的一家咖啡馆里，洪乐潼和前Meta工程师Shubho Sengupta从午后聊到黄昏，话题始终围绕着一个核心：为什么AI连世界级数学难题都解不了？两人越聊越兴奋，一个大胆的想法在她心中成型——做一款真正懂推理的“AI数学家”。这次畅谈像一颗火星，点燃了她埋藏已久的创业念头。

没过多久，她决定从斯坦福退学，在旧金山创办Axiom Math。“我内心深处最想解决的，是真正困难的技术问题”，她后来在采访中坦言，而这家以“公理”命名的公司，正是她向难题发起挑战的起点，目标直指“打造能自我提升的超级智能推理系统”。

洪乐潼的底气，源于对AI行业痛点的精准洞察。此前ChatGPT被爆出数学测试“作弊”时，她第一时间在社交媒体发声：“OpenAI的大模型看似能答对96%的美国数学邀请赛题目，但要求展示证明过程时，分数就骤降到5%。”她戳破了行业真相：这些模型不是真懂数学，只是见过同类题目。而她最擅长的组合数学难题，恰恰是当前AI的短板。Axiom Math要做的，不是让AI“背答案”，而是打造“数学领域的AlphaGo”，能自主发现并解决全新问题。

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

面对OpenAI、谷歌DeepMind等巨头的竞争，她并不畏惧，在她眼中，那些奥林匹克竞赛类的基准测试有取巧空间，真正的研究级数学能力，才是不可替代的核心壁垒。

理想主义的初心，总能吸引同频的人。洪乐潼没花太多时间，就组建起一支仅10人的“梦之队”：CTO Shubho Sengupta曾领导Meta FAIR团队开发OpenGo，是AI领域的资深大牛；François Charton则是Meta大模型数学研究的核心成员，早在2019年就探索过Transformer技术在数学领域的应用。

最让人意外的是传奇数学家小野健的辞职加入，成了洪乐潼的第15号员工。

小野健不是为钱而来，他本就是弗吉尼亚大学薪酬最高的教职人员之一，并曾拒绝过其他AI公司提供的更丰厚的报酬和更大股权。

洪乐潼的梦想让小野健难以拒绝。“我有幸参与改变世界运作方式的进程。”小野健说，“作为一名纯粹的数学家，这样的机会实属少见。”

资本的热情也很快被点燃。Axiom Math成立仅4个月，就完成6400万美元（约合人民币4.6亿元）种子轮融资，由B Capital领投，Greycroft、Madrona等知名机构跟投，投后估值直奔3亿美元（约合人民币21.39亿元）。B Capital合伙人的评价道出了资本追捧的原因：“能提出并验证定量假设的工具，是数字经济的核心需求。”

有趣的是，Axiom Math的会议室都以高斯、阿达·洛夫莱斯等数学巨匠命名，处处藏着洪乐潼的学术情怀。她曾在社交媒体上感慨，羡慕DeepSeek“一群理想主义者组成优秀团队”的模样，而如今，她正在亲手打造这样的团队。

如今，Axiom Math的办公室里，以数学巨匠命名的会议室安静而专注，洪乐潼和团队正忙着把一本本学术论文转化为程序化知识。她曾说，团队拥有“理想与使命交织的信念”，而这信念，正是支撑她从广州的草稿纸走向硅谷的力量。

洪乐潼的崛起，从来不是孤例。22岁华裔女生Jessica Wu的Sola Solutions斩获2100万美元融资，武汉模态跃迁科技团队平均年龄不到25岁就站稳脚跟，一批00后正带着AI梦想站上时代舞台。真格基金戴雨森的感叹或许是最好的注脚：“创业很多时候属于年轻人。”

2026年，期待更多的中国年轻人，出现在全球AI舞台的聚光灯下。

来源：星河商业观察