你敢信吗？01年出生的广州姑娘，爸妈就是摆摊卖水果的普通人家，愣是把公司干到了21亿人民币估值，没推出成品就火遍整个硅谷。说出来跟点开爽文一模一样，可这事真真切切就发生在我们这个AI爆发的年代。
洪乐潼2001年生，长在广州，父母经营水果摊，没接受过高等教育，家境就是最常见的普通家庭模样。爸妈天天起早贪黑干活的勤奋和韧劲儿，从小就潜移默化影响了她。
她小时候跟周围同龄孩子没差，没露过什么过人天赋，直到误打误撞进了学校的奥数培训班，人生轨迹一下子转了方向。她一下子迷上了数学里的逻辑推理，为了啃一道难题能连饭都忘了吃，这份执着推着她从校级比赛一路打进省队，成了华南师大附中四名女奥数主力之一。
之后她拿奖拿到手软，国内外不少高水平数学竞赛都拿了大奖，去参加美国数学奥林匹克竞赛的时候，第一次近距离接触到麻省理工学院，当场就定下了要去这里读书的目标。2018年她如愿考上MIT，这个全世界顶尖的学府，成了她攒力气冲更高峰的舞台。
她用三年时间读完了数学和物理两个学位，啃完了二十多门高阶课程。天天从早上六点学到凌晨一点，把自己的潜力挖得一干二净，不光学术成果堆了一堆，还跟MIT的教授合作，在顶级杂志发了九篇论文。
看到这大家肯定觉得，这就是标准的学术女神励志剧本，接下来就是顺顺当当拿学位当教授。结果她直接放弃了快要到手的博士学位，转身扎进了创业圈，这个操作直接给好多人看傻了。
2024年她还在斯坦福读博的时候，跟前Meta工程师Shubho Sengupta聊了一次天，俩人聊到现在火遍全球的大模型，聊出了创业的灵感。现在大模型聊八卦写文案都挺溜，可一碰到数学论证和证明直接拉胯，准确率才只有5%，这块短板一直没人啃下来。
聊完她就定了方向，AI说不定能补上人类思维的局限，搞不好还能开创新的数学时代。说干就干，她直接退了学，在旧金山开了Axiom Math这家公司，专门做逻辑推理型AI，目标就是用AI解决高深数学问题，甚至能帮着提出新的数学猜想。
她给这套模式起了个名字叫“数学即服务”，不光给科研人员提供数学推演工具，还在全力开发能独立完成证明和验证的AI模型。要是真做成了，科学家做科研的效率能翻不知道多少倍，整个数学领域都能进入AI助力的全新时代。
没想到不到一年，这家刚成立的小公司就搞出了大动静，他们研发的AxiomProver模型，用Lean语言完成了埃尔德什猜想的形式化证明，这个思路是之前没人想到过的。这个数学难题已经放了几十年没人啃动，居然被成立不到一年的小公司解决了。
这事出来之后，全球圈里的专业科学家都盯上了这家小公司，到2025年，整个公司团队也才十个人，可每个人的背景都够唬人。这里有Meta FAIR团队的核心工程师，有解析数论领域的专家，还有不少世界级大学的教授主动要来加入。
就连洪乐潼原来在MIT的大学导师，都愿意放弃终身教职，过来给她的公司帮忙。她用实际结果证明，AI模型说不定能比传统研究方式出更多成果，年轻人敢想敢干的“无知者无畏”，往往真能推动历史变革。
有了埃尔德什猜想证明这块金字招牌，2025年10月他们顺利完成了种子轮融资，一下子拿到了6400万美元，公司估值直接冲到3亿美元，换算成人民币差不多就是21亿，一下子成了整个科技圈瞩目的对象。
现在00后创业者冒头的越来越多，洪乐潼的成功也不是个例。不管是在美国还是国内，这群年轻的科技新星，已经成了推动科技发展不能忽略的力量。仅在美国，22岁的Jessica Wu就创办了核心做AI自动化的Sola Solutions，还有几个年轻人开发的面试编程工具，短短三个月就实现盈利，很快做到了百万美元规模。
现在不少硅谷的初创公司已经不搞虚头巴脑的新概念了，都转头去啃行业里的硬骨头，给行业做真正的核心价值。AI是现在创业最热的方向，里头最核心最难啃的问题，反而成了年轻人的突破口。
国内的年轻创业者风格不太一样，大家更愿意沉下心深耕技术领域。比如清华北大毕业生出来做的DeepSeek，已经推出了不少靠谱的算法模型服务。这种靠着扎实学术背景撑起来的模式，也让国内的科技企业在全球越来越有竞争力。
洪乐潼刚好把两边的优势揉到了一起，既有国内训练出来的扎实数理基础，又用上了硅谷成熟的风投体系和跨学科合作的创业模式。她看得到数学研究本身的重要性，也抓到了跨学科融合的巨大潜力，刚好赶上AI浪潮兴起，顺理成章就快速崛起了。
资本疯抢她的项目，本质上就是全行业都认可了数学作为AI基础设施的价值。至于等AI风口过去，大家还会不会记得这个在硅谷掀起浪的广东姑娘，现在说这些还太早。
洪乐潼的故事，本身就是中国教育优势和硅谷创业氛围结合的产物，东西方各自的优势碰在一起，才攒出了Axiom Math的崛起。AI加数学这条新路，是年轻人凭着技术和闯劲儿开出来的，也给全球学界和科技圈注入了不一样的新鲜活力。
热门跟贴