当科技圈惊叹于90后AI大神的成就时，00后力量已经强势崛起。最近，全球数学圈出了个让所有人都跌破眼镜的新闻，美国弗吉尼亚大学终身教授，57岁的小野肯，公认的世界顶级数学家，放着铁饭碗说扔就扔，突然宣布辞职。你以为他是要退休享清福？人家收拾好行李直奔硅谷，就为了给一个00后打工。
这个能让数学泰斗甘愿“屈尊”的00后，不是什么名门之后，而是一位来自中国的潮汕姑娘，名叫洪乐潼。更牛的是，她在硅谷刚创办了一家做AI数学的公司，成立才几个月，连成熟产品都还没上线，就轻松拿到了4个多亿的融资，现在公司估值直接冲到21亿。这波操作，简直是平地起惊雷，把硅谷创投圈都震懵了。
说起洪乐潼的履历，那真是典型的“老天爷追着喂饭吃”，她出生在广州一个普通家庭，父母是从潮汕来广州做服装加工的，属于最朴实的工薪阶层。洪乐潼从小就展现出了对数学的超高天赋，属于那种“别人还在纠结应用题，她已经在琢磨奥数难题”的天才。
12岁的时候，她就凭实力考上了广州市奥校的免费集训队，相当于半只脚踩进了数学天才的圈子。高中读华南师大附中的时候，直接入选广东奥数省队，在“华罗庚金杯”、全国高中数学联赛这些顶级赛事里拿奖拿到手软，17岁就靠着美国数学奥林匹克国际营唯一非美籍满分选手的身份，被麻省理工提前录取，这可是无数学霸挤破头都进不去的顶尖学府。
进了MIT之后，洪乐潼更是开启了“超速模式”。别人要四年才能读完的本科，她只用三年就拿下了数学和物理双学位，GPA满分毕业。这还不够，她还额外修了20门硕博级别的高阶课程，本科期间就在《美国数学会会刊》这种顶级学术期刊上发表了9篇论文，涵盖数论、组合数学这些超难的领域。
更厉害的是，她还成了史上首位同年包揽两项北美数学本科生最高荣誉的亚洲女性，一边拿了美国数学会颁发的摩根奖，一边又斩获了专门表彰顶尖本科女数学家的谢弗奖。这含金量有多高？相当于在数学界的本科生赛道里，站在了全球之巅。
本科毕业之后，她的求学路更是一路开挂。以全球仅四名中国获奖者之一的身份，拿到了有“本科诺贝尔奖”之称的罗德奖学金，去牛津大学读了神经科学硕士，只用9个月就顺利毕业。之后又去了斯坦福大学，直接开启了数学和法学双博士的求学之路。你以为她这是要把世界顶级院校都刷个遍？还真差不多，麻省理工、牛津、斯坦福，这三大名校的经历，直接把她的学术履历拉到了天花板级别。
但你可别觉得她是个只会读书的书呆子，洪乐潼的心里藏着一团火，从来都知道自己想要什么。在斯坦福读双博士期间，她发现了一个让她特别兴奋的领域，AI和数学的结合。当所有人都以为她会沿着学术巅峰一路走下去，成为大学终身教授的时候，她突然做出了一个让所有人都震惊的决定：退学创业！
她到底要做什么创业项目呢？简单来说，就是打造一个“AI数学家”。洪乐潼之前试过市面上几乎所有的AI大模型，发现这些模型在做数学题的时候，全是“套路活”。表面上看，有些模型做数学测试的准确率能达到96%，但你只要让它展示推理过程，得分率直接骤降到5%。说白了，这些AI根本不是真正理解了数学逻辑，而是在靠海量数据进行模式匹配，遇到稍微复杂一点的推理题，就直接露馅了。
洪乐潼敏锐地发现了这个痛点：现有AI的核心缺陷就是缺乏真正的逻辑推理能力，而这正是她的专长。2024年，她在硅谷创办了Axiom Math公司，目标很明确：打造一个能自己提出猜想、自己证明定理、还能解释清楚推理过程的“超级智能推理机”，也就是真正的“AI数学家”。
创业这事儿，光有想法不行，还得有团队。洪乐潼凭借自己的学术口碑和个人魅力，很快就组建了一支神仙团队。CTO是前Meta AI的研究员舒博·森古普塔，这个人可不简单，曾经领导团队开发过OpenGo，还是最早的CUDA开发者之一；还有法国数学家弗朗索瓦·沙尔东，这些行业大牛，都是主动加入洪乐潼的团队，可见大家对她的认可。
最让人震惊的，是她的前导师，57岁的数学泰斗小野肯的加入，有人说，小野肯这是自降身价，放着终身教授不当，去给00后打工，但明眼人都看明白了，这是70后顶级人才对00后创业浪潮的主动拥抱。连小野肯自己都说，如果他的猜想能被机器在3天之内推广到10个维度，他愿意当那个“标注工”。
创业第四个月，洪乐潼就带领团队攻克了两道悬而未决的数学难题：加法数论里三十年没人碰的埃尔德什第124题， AI在24小时内就完成了基础公理层面的形式化证明，还是首份可机器复检的完整答案；紧接着，那道悬置了四十五年的埃尔德什第481题，AI只用了五个小时就完成了完整证明。美国数学学会审核后，只留下了一句话：“逻辑无隙，隐性错误为零”。这波操作，直接让整个数学圈和AI圈都沸腾了。
在AI的创业赛道上，洪乐潼不是唯一的年轻人，90后的王兴兴，创办宇树科技做足式机器人，从200元手工制作的机器人起步，现在公司估值突破百亿，他们的四足机器人在全球市场占据了超过60%的份额，人形机器人更是做到了全球出货量第一。和洪乐潼同龄的陈源培，创办了灵初智能，专注于攻克机器人最难的“手”的问题，做出了能稳稳抓取水杯的灵巧手，连英伟达都来找他合作。还有耶鲁博士杨丰瑜，回国创立了优理奇，专注具身智能，短短几个月就造出了轮式人形机器人。而从贵州铜仁乡村走出来的清华学生付智，更是看到了算力闲置的痛点，搭建了一个“算力滴滴”，把个人电脑的闲置算力汇聚起来，解决了中小企业的燃眉之急。
这些年轻人，一出手瞄准的就是世界级的难题，他们不再是为了简单的“吃饭赚钱”，而是为了干成“那件特别酷的事”，为了“让世界更美好”。
以前我们总说“长江后浪推前浪”，现在才发现，后浪的力量远比我们想象的更强大。洪乐潼们正在用自己的方式，改写各个行业的游戏规则，在AI这个新兴领域，年龄从来都不是限制，只要你有真本事，敢闯敢拼，就能找到属于自己的舞台。
热门跟贴