25岁广州姑娘洪乐潼，直接炸翻创投圈！斯坦福辍学创业，成立才一年，就拿下2亿美元（超14亿人民币）A轮融资，公司估值飙到110亿，妥妥的最年轻AI独角兽创始人。 洪乐潼的履历，每一页都写满“破格”二字。2001年出生于广州天河，父母都是普通务工者，从未上过大学，谁也没料到这个工薪家庭会走出一位改写AI规则的数学奇才 。 她的数学天赋在初中就锋芒毕露，就读华南师大附中时，高一便斩获全国数学奥林匹克竞赛奖项，成为当年省队仅有的四名女生之一，华罗庚金杯、全国高中数学联赛等赛场，都留下她的获奖记录。 2018年，17岁的她以USAMO（美国数学奥林匹克）满分成绩敲开麻省理工学院大门，仅用三年就拿下数学与物理双学位，修读20门高等数学课程的同时，还完成了神经科学辅修，这种学习强度连教授都惊叹。 牛津罗德学者的光环还没焐热，她又走进斯坦福大学攻读数学与法学双博士，学术道路本该一路坦途，她却在2024年深秋做出惊人决定——退学创业 。 那个改变她人生的下午，斯坦福附近咖啡馆里，她与Meta AI研究总监Shubho Sengupta聊了整整几小时，核心议题只有一个：AI能不能真正学会数学推理？ 这次长谈像一把钥匙，打开了她对AI行业痛点的认知：当下大模型总在“猜”答案，推理过程充满“幻觉”，尤其金融、国防等关键领域，任何概率性错误都可能引发灾难性后果。 2024年8月，洪乐潼创立Axiom（公理）公司，提出“数学即服务”模式，目标只有一个——让AI像数学家一样思考，每一步推理都像数学证明般严密、可验证、无懈可击 。 这个想法并非天马行空，她的核心产品Axiom Prover系统，通过训练AI生成Lean语言编写的输出，这种专为形式化数学证明设计的编程语言，能确保推理每一步都经过机器检查，逻辑上绝对可靠，彻底杜绝AI“幻觉”问题。 为了这个目标，她放弃了多少人梦寐以求的斯坦福博士学位，身边人都觉得可惜，她却看得通透：学术研究可以等，AI行业的变革窗口期等不起。 创业初期的960万美元种子轮融资，只用一个月就敲定，投资人看中的不仅是她的天赋，更是她解决AI核心痛点的能力。 更让人震惊的是，57岁的数学传奇小野健，辞掉弗吉尼亚大学终身讲席教授职位，甘愿成为她公司第15号员工，这份信任源于洪乐潼团队无人干预攻克困扰学界30年数学难题的实力，也源于她普特南数学竞赛满分的战绩——这项赛事百年间仅5人达成如此成就 。 团队虽只有20人，却集结了数学、计算机、AI领域的顶尖人才，平均年龄不到30岁，却在短短一年内交出估值110亿的答卷 。 2026年3月，Axiom宣布完成2亿美元A轮融资，由Menlo Ventures领投，Greycroft、Madrona Venture等老股东全部跟投，成立不到一年便跻身独角兽行列，刷新全球AI初创公司成长速度纪录。这笔钱不是烧在营销上，而是全部投入技术研发，洪乐潼的野心很明确：用数学给AI装“纠错大脑”，让AI从“概率猜测”转向“绝对正确” 。 金融机构早已闻风而动，对冲基金、量化交易公司主动找上门，希望用这套系统验证量化模型漏洞，解决资产定价、股市预测中的复杂数学问题。自动驾驶、AI代码安全领域也抛出橄榄枝，毕竟在这些领域，一个逻辑漏洞就可能危及生命 。 很多人质疑她放弃斯坦福学位是否值得，洪乐潼的回应冷静又坚定：“数学的价值不在论文里，而在解决真实世界的问题。”她的创业逻辑，恰恰戳中当前AI行业的命门——当大模型陷入参数竞赛和算力比拼，很少有人回头修补推理根基的漏洞。 她用“形式化验证”技术，把AI推理转化为机器可核验的数学证明，这种底层创新比单纯提升模型参数更具颠覆性，也让资本看到AI发展的新路径 。创投圈开始重新审视00后创业者，他们不再满足于模式创新，而是直击技术核心，用扎实的学科功底改写行业规则。 洪乐潼的成功，从来不是“天才人设”的炒作，而是天赋、勤奋与时机的完美契合。她高中时每天刷题到凌晨，麻省理工三年修完双学位，牛津期间泡在图书馆的时间比睡觉还长，这些积累让她能在AI与数学的交叉领域找到突破口。 她身上没有00后常见的浮躁，接受采访时语速极快却条理清晰，几乎不谈论风口与颠覆，只在意对问题本身的好奇和技术可能性的判断，这种纯粹的科研精神，反而让资本更愿意押注 。 这位25岁的广州姑娘，正在用行动证明，00后的创业不是玩票，而是用前沿知识解决时代难题的严肃探索。她的故事，不是要鼓励所有人辍学创业，而是提醒我们：真正的创新，往往藏在学科交叉的缝隙里 藏在敢于质疑行业惯性的勇气里，藏在对热爱之事的极致追求里。当同龄人还在为工作焦虑，她已经站在AI革命的潮头，用数学的语言，书写属于00后的商业传奇。 各位读者你们怎么看？欢迎在评论区讨论。