大家好我是知识有点料，每天给大家带来最新动态，分享实用干货，内容随缘更，质量在线；如果你觉得这些信息对生活有用，就点个关注～
说起00后，很多人还停留在刚毕业找工作、考研考公的印象里。但就在2026年3月，创投圈炸出一条大新闻：一个25岁的广州姑娘，退学创业不到一年，公司估值直接冲到16亿美元，折合人民币110亿，妥妥的独角兽。更让人想不到的是，她出身普通务工家庭，父母没上过大学；更牛的是，一位全球顶尖的终身教授，直接辞掉铁饭碗，全职跟着她干。
这个姑娘叫洪乐潼，2001年出生在广州，父母都是普通务工人员，没接受过高等教育，靠双手打拼养家。小时候家里条件一般，没有什么名校资源、课外辅导班，更没人能在学*上给她指点。但她从小就对数字特别敏感，别人觉得枯燥的数学题，她越做越起劲。高中在华南师大附中读书时，她是广东省中学生英才计划成员，也是全国数学奥赛广东选区仅有的四位女生之一，数学天赋早早显露。
2018年，17岁的洪乐潼被麻省理工学院（MIT）录取，选了数学与物理双专业。别人四年才能读完的课程，她只用3年就全部修完，本科期间就发表了9篇高水平论文。学术奖项拿到手软：全美女性数学家最高荣誉Alice T. Schafer数学奖、北美数学本科生最高荣誉AMS-MAA-SIAM摩根奖，2021年还成为中国仅有的四位罗德学者之一，去牛津大学攻读神经科学硕士。
从牛津毕业后，她又进入斯坦福大学，开启数学与法律双学科博士项目。按正常轨迹，她会读完博士，留校做研究，成为一名顶尖学者，一辈子安稳又体面。但2024年深秋，在斯坦福附近的一家咖啡馆，她和时任Meta AI研究总监Shubho Sengupta聊了几个小时，聊的是AI能不能真正掌握数学推理、解决复杂问题。
这次聊天，让她看清了当时AI行业的致命问题：大模型看着厉害，本质还是靠概率输出，经常“一本正经胡说八道”，也就是行业里说的“幻觉”。日常聊天、写文案无所谓，但在金融风控、量化交易、国防安全这些“零错误容忍”的领域，这种不确定性就是巨大风险。
作为数学出身的研究者，她知道，解决这个问题的核心，是让AI像数学家一样工作——每一步推理都严密、可验证、无懈可击，而不是靠“蒙”。她觉得，与其在学校里慢慢研究，不如直接下场创业，把想法变成产品。于是，她做出了一个让所有人意外的决定：从斯坦福退学，全职创业。
2025年，她创立了Axiom公司，名字取自数学里的“公理”，寓意从最基础、最可靠的逻辑出发。公司的核心产品是AxiomProver系统，用专为数学证明设计的Lean编程语言，把AI的每一步推理都转化成可被机器检查的证明链条。简单说，传统AI给答案，Axiom给“答案+完整证明过程”，确保每一步都正确，从根源上杜绝“幻觉”。
创业初期，没人看好这个20出头的小姑娘。AI基础层赛道，向来是大佬扎堆、技术壁垒极高的领域，一个没毕业的学生，想在这做出名堂，几乎是天方夜谭。但洪乐潼没被质疑吓退，她带着团队埋头搞研发，用技术实力说话。
2025年10月，Axiom拿下6400万美元种子轮融资，此时公司还在打磨验证引擎。2026年3月，公司完成2亿美元A轮融资，由硅谷顶级风投Menlo Ventures领投，Greycroft、Madrona、B Capital、Toyota Ventures等老股东全部跟投，投后估值16亿美元，约合人民币110亿元，成立仅一年多就跻身独角兽行列，洪乐潼也成为全球最年轻的独角兽创始人之一。
更让人震撼的，是她的团队阵容，堪称“梦之队”。CTO是前Meta AI研究总监Shubho Sengupta，参与过Google分布式训练系统，还是CUDA开发先行者；核心科学家François Charton，是把Transformer模型带入数学领域的先驱，曾用大模型推翻过几十年的猜想。
最重磅的，是全球顶尖数论学家、弗吉尼亚大学Marvin Rosenblum讲席教授Ken Ono（小野健）。他是前美国数学学会副**，拿过古根海姆奖、帕卡德奖、斯隆奖，是拉马努金数学权威，还是电影《知无涯者》的数学顾问，四十年执教生涯里，指导过十位摩根奖得主，洪乐潼就是其中之一。
Ken Ono原本对AI持怀疑态度，觉得AI只是炒作，解决不了真正的数学问题。但当他看到Axiom的系统后，彻底被震撼了。2025年12月，他毅然辞去终身教职，全职加入Axiom，担任创始数学家。他说，自己“看见了数学超级智能的可能”，这是他学术生涯里从未见过的突破，值得放弃一切去参与。
一位功成名就、拥有终身教职的顶尖教授，放弃稳定的学术生涯、优厚的待遇，去给一个25岁的年轻人打工，这在学术界和创投圈都引起了巨大轰动。这不是简单的“追随”，而是对技术方向、对洪乐潼能力的绝对认可。
Axiom的技术实力，也用实打实的成果证明了自己。2025年12月，Axiom系统在普特南本科生数学奥林匹克竞赛中，12道题全部答对，拿到满分。要知道，普特南竞赛是全球最难的数学竞赛之一，近百年间只有5位人类选手拿到过满分。随后，系统还在无人干预的情况下，用Lean语言完成了埃尔德什问题集里两道开放题的形式化证明，一道只用了一天，另一道仅五小时，攻克了困扰数学界数十年的难题。
这些成果，让Axiom迅速在行业里站稳脚跟。公司的目标客户，瞄准了对冲基金、量化交易、金融风控等对正确性极度敏感的领域。这些领域，传统AI不敢用，因为一旦出错就是巨额损失，而Axiom的“可验证AI”，正好解决了他们的核心痛点。
从务工家庭的普通女孩，到麻省理工、牛津、斯坦福的顶尖学霸，再到退学创业、一年造出110亿独角兽，洪乐潼的经历，打破了很多人的固有认知。有人说她是天才，但天才背后，是超出常人的努力和坚持。她没有优越的家庭背景，没有现成的资源，靠的是对数学的热爱、对技术的执着，以及敢想敢干的勇气。
她的故事，也给很多普通家庭的孩子带来了希望。出身不能决定未来，努力和选择才是关键。在这个科技快速发展的时代，00后已经开始登上舞台，他们不再被传统观念束缚，敢于挑战权威、敢于走没人走过的路，用自己的能力改变行业、创造价值。
洪乐潼的成功，也给创业者带来了启示。创业不是跟风凑热闹，而是要找到真正的痛点，用硬核技术解决问题。她没有去做热门的应用层AI，而是选择了最难的基础层，啃最硬的骨头，反而建立了别人难以超越的壁垒。同时，吸引顶尖人才追随，靠的不是画大饼，而是真实的技术突破和共同的理想。
如今，Axiom团队只有二三十人，但每个人都是行业顶尖人才，公司还在快速招人，扩大研发规模。未来，Axiom的技术还会应用到更多领域，比如科学研究、工程计算、教育等，让AI真正变得可靠、可信，推动整个行业的发展。
洪乐潼的故事，只是00后创业浪潮的一个缩影。越来越多的00后，凭借扎实的学术背景、前沿的技术认知和敢闯敢拼的精神，在AI、硬科技等领域崭露头角。他们不再是“整顿职场”的话题人物，而是成为推动科技进步、创造社会价值的中坚力量。
对于我们普通人来说，洪乐潼的经历也有很多值得学*的地方。不管出身如何，都要保持对世界的好奇心，坚持自己热爱的事情，不断提升自己的能力。在机会来临时，敢于做出选择，敢于挑战未知，也许下一个创造奇迹的，就是我们自己。
最后想说，时代在变，创业的逻辑在变，但不变的是对技术的敬畏、对梦想的坚持。洪乐潼用自己的经历证明，普通家庭的孩子，也能凭借努力和才华，在全球科技舞台上占据一席之地。期待未来，能有更多像她一样的年轻创业者，用创新改变世界，用实力书写传奇。
免责声明：本文信息均基于2026年3月公开报道整理，数据与案例仅供参考，不构成投资、创业建议；公司估值、团队动态等后续可能变动，以官方最新消息为准。
版权声明：本文转载于今日头条，版权归作者所有，如果侵权，请联系本站编辑删除
