当AI的“幻觉”与“黑盒”成为行业顽疾，一位来自中国广州的00后女孩，带着颠覆式的答案闯入了硅谷中心。2026年3月，AI初创公司Axiom完成2亿美元A轮融资，估值飙升至16亿美元（约合人民币110亿元），成立仅一年便跻身独角兽行列。而这家公司的掌舵人，正是25岁的天才少女洪乐潼。她出身普通务工家庭，却一路开挂闯入MIT、牛津、斯坦福；她中途退学创业，竟让世界顶尖的终身教授放弃一切追随。她的故事，不仅是个人天才的传奇，更标志着AI创业已进入由00后理想主义者主导的新纪元。
01务工家庭走出的天才：从广州草稿纸到MIT殿堂
洪乐潼的传奇，始于广州一个平凡的潮汕务工家庭。父母没有高等学历，终日为生活奔波，却给了她最珍贵的礼物——自由探索的空间。这份普通，并未掩盖她身上罕见的数学天赋。
初中时，当同龄人还在为代数烦恼，她已沉浸在数论与公式的世界里。14岁那年，她在草稿纸边缘郑重写下“MIT”三个字母，将其作为自己的人生灯塔。高中就读于华南师大附中，她更是锋芒毕露：高一入选广东省英才计划，师从中山大学教授；在全国中学生数学奥林匹克（CMO）广东选拔中，成为省队里仅有的四位女生之一，在男性主导的奥数领域划出一道亮色。
2018年，17岁的洪乐潼如愿叩开麻省理工学院（MIT）的大门，主修数学与物理。在这个天才云集的圣殿，她的“开挂”人生才刚刚开始。别人需要四年完成的学业，她仅用三年就修完双学位，还额外啃下20门硕博课程。本科期间，她发表了9篇高质量学术论文，研究触及模椭圆曲线、K3曲面、“月光猜想”等最前沿的纯数学领域。
荣誉也接踵而至：她斩获全美女性数学家最高荣誉——Alice T. Schafer数学奖，以及北美本科生数学最高奖——AMS-MAA-SIAM摩根奖。2021年，她成为当年全球仅四位、中国唯一的罗德奖学金得主，赴牛津大学攻读神经科学硕士。随后，她又进入斯坦福大学，同时攻读数学与法律双博士。
从广州的普通家庭，到世界三大顶尖学府，洪乐潼用天赋与努力，完成了常人难以企及的阶层与认知跨越。
02退学创业：直击AI“黑盒”痛点，创造“可验证”的真理
就在学术道路一片坦途时，洪乐潼却做出了惊人决定：从斯坦福退学，全职创业。她看到了当时AI行业最尖锐、也最致命的矛盾——大模型越强，越不可信。
彼时，以GPT-4为代表的大模型在语言能力上突飞猛进，但本质上仍是基于统计概率的“鹦鹉学舌”。它们能给出看似正确的答案，却无法保证每一步推理的严谨性，“幻觉”（胡说八道）频发。在日常聊天中无伤大雅，但在金融风控、量化交易、国防安全等“零错误容忍”的领域，这种不确定性就是灾难。
作为数学博士，洪乐潼一针见血地指出：当前AI缺乏严格的逻辑推理训练体系。她的解决方案是：让AI像数学家一样工作，每一步推理都像数学证明一样严密、可验证、无懈可击。
2025年，她创立Axiom公司（意为“公理”），提出“数学即服务”（Math as a Service）模式。其核心产品AxiomProver系统，通过训练AI掌握专为数学证明设计的Lean语言，确保AI输出的不仅是答案，更是一套完整、可被机器检查的逻辑证明链条。
- 传统AI：答案≈“我觉得是对的”（概率）
- Axiom AI：答案=“已被证明是对的”（真理）
这一理念迅速震撼了学界与资本。成立仅4个月，Axiom便获6400万美元种子轮融资；2025年12月，其AI系统在难度极高的普特南数学竞赛中满分夺冠，并在无人干预下，仅用1天和5小时就证明了两道困扰数学界20年的埃尔德什数论难题。技术实力的硬核证明，让其在2026年3月的A轮融资中估值暴涨至110亿人民币，成为全球最受瞩目的AI新星。
03群星追随：终身教授辞职加盟，组建“数学梦之队”
比110亿估值更令人惊叹的，是洪乐潼强大的“人才磁场”。Axiom的团队，堪称全球AI与数学界的“梦之队”，而最具传奇色彩的，是57岁的世界顶尖数学家——Ken Ono（小野健）。
Ken Ono是弗吉尼亚大学讲席教授、前美国数学学会副主席，拉马努金数学领域的世界级权威，手握古根海姆奖等无数荣誉，拥有安稳的终身教职。就是这样一位功成名就的学界泰斗，毅然辞去一切，全职加入Axiom，甘愿为年仅25岁的洪乐潼“打工”。
原因很简单：他亲眼见证了Axiom系统的力量，看到了“数学超级智能”成为现实的可能。这位曾对AI持怀疑态度的老教授，在体验过Axiom如何严谨地证明那些他毕生都未能解决的难题后，彻底折服。他坦言：
我真正感受到了一个AI时刻，有些事情和昨天不一样了。
除了Ken Ono，Axiom的阵容堪称奢华：CTO是曾任Meta AI研究总监、最早开发CUDA技术的专家Shubho Sengupta；核心科学家François Charton是将Transformer引入数学领域的先驱。一支仅30多人的团队，汇聚了全球数学与AI领域的顶尖头脑，而凝聚他们的核心，正是洪乐潼清晰的技术愿景与纯粹的理想主义。
04后登场：AI创业进入“理想主义者”时代
洪乐潼的崛起，并非个例。她正代表着一股席卷全球的新势力——00后技术天才。他们与上一代创业者截然不同，不为追逐风口，不为颠覆商业模式，而是为了解决人类最根本的科学与技术难题。
与洪乐潼同期，同样出生于2001年、师从李飞飞的陈源培，其创立的灵初智能完成20亿元融资；耶鲁博士毕业的00后杨丰瑜，回国创办具身智能公司优理奇，融资数亿元；三位00后创办的AI招聘平台Mercor，估值达20亿美元。
这群年轻的创业者，普遍拥有顶尖学术背景，不被世俗经验束缚，对技术抱有纯粹的信仰。洪乐潼曾自勉：“祝自己做花也做树。缤纷热情，孤离兀立。”她在采访中极少谈论估值与风口，目光始终聚焦于“AI的上限在哪里”“如何通向超级智能”。
这正是Axiom的终极使命：Verified AI关注的，绝不仅仅是修补AI的缺点，真正瞄准的，是AI的上限，是通向超级智能的阶梯。
05结语
从广州务工家庭的小女孩，到掌舵110亿估值独角兽的创始人；从MIT的数学天才，到让终身教授追随的领袖，25岁的洪乐潼用自己的轨迹，重新定义了天才、创业与时代。
她的故事告诉我们，AI的未来，不仅在于参数的堆砌与应用的狂欢，更在于像数学一样严谨、可靠、可信赖的底层基石。当00后理想主义者站上舞台中央，用纯粹的好奇心与极致的技术追求去探索真理，我们有理由相信，那个真正安全、可靠、通向超级智能的AI未来，正由这群年轻人亲手缔造。
热门跟贴