讲真，最近听说广州有个00后女孩退学创业，一年不到估值就飙到了110亿，活成了传奇。这下子可把大家都震住了，让咱们好好重新琢磨琢磨教育跟创业到底是个啥样。 这事儿还得从2024年秋天说起，这女孩叫洪乐潼。本来是个普通家庭的孩子，爸妈在广州打工，也没受过啥高等教育。可人家偏偏17岁就考上了MIT，本科生就开始发论文拿大奖，后来又去牛津读了神经科学硕士。你看这履历多硬核。后来她遇到了前Meta AI的Shubho Sengupta聊了聊，干脆决定退学创业了。 其实她退学可不是为了玩，纯粹是想搞点更前沿的研究。她拉了个小团队，全是全球顶尖学校出来的牛人。2025年他们搞出来个AxiomProver系统，这东西可牛了，不靠生成内容，专门搞逻辑推理和数学证明。结果到了NeurIPS会议上一演示，好家伙！当场就把大家震住了。尤其是在解埃尔德什第124题的时候，表现那叫一个惊艳。很多人开始重新琢磨，AI能不能帮数学家干活。 他们这招挺巧妙的，不是单纯用数据推理，而是教机器用公理和定义去推导。这简直就是在模拟人类的学习过程啊！François Charton和Ken Ono这两位大神也加盟了团队。有了这层保障，公司发展顺风顺水。到了2026年3月，光融资就拿到了2亿美元的A轮，估值直接冲到了15亿美元。 洪乐潼之前在华南师大附中念书的时候，还拿过广东中学生英才计划的支持。她老说自己的成功离不开政策、导师还有国外平台这些关键机会。现在她的目标就是让AI不光会验证数学证明，还能自己提猜想、举反例，甚至能把证明过程解释得让大家都懂。 虽说现在成就这么大，但她这人特谦虚。办公室墙上就贴了张纸条：“证明不是终点，而是对话的开始。”每天工作12小时的她一直在找创新和应用之间的平衡点。 她的故事给咱们提了个醒：在追求成功的路上，抓住机会和保持热情一样重要。她的经历不仅激励了无数年轻人，也给咱们未来的教育和创业指明了路。