57岁的数学界大牛小野健，突然宣布辞去弗吉尼亚大学的终身教职，不教书、不带学生了

57岁的数学界大牛小野健，突然宣布辞去弗吉尼亚大学的终身教职，不教书、不带学生了，转头跑去给一个24岁的年轻人打工。更让人吃惊的是，这年轻人还是他当年的学生——广州姑娘洪乐潼。这事一出，整个数学圈和AI圈都炸了锅：啥情况？老师给学生打工？ 可这还真不是闹着玩的。洪乐潼不是普通学霸，是那种从小“开挂”的狠角色：华师附中奥数省队常客，华罗庚金杯拿奖拿到手软；17岁考上麻省理工，3年修完数学和物理双学位，本科就发了9篇跨领域论文，还拿了国际数学奖。后来拿罗德奖学金去牛津，又杀进斯坦福读数学和法学双博士。可她去年直接退学创业，因为她看透了现在AI的“虚胖”——表面看着答题666，一让写解题过程就露馅，全是“背答案”，根本不会真正推理。 她要做的，是让AI真正“懂数学”，能像数学家一样一步一步讲逻辑、做证明。她创办Axiom Math，目标是做出能自我验证的“AI数学家”。她拉的团队也全是狠人：前Meta顶尖AI研究员、最早用Transformer搞数学证明的大神，连她当年的导师小野健都干脆辞职加入。今年初，他们搞出的Axiom Prover，用Lean语言，几天内就证明了两个几十年没人解出来的埃尔德什猜想，连国外顶级数学家都直呼“不敢信”。 公司成立才4个月，连官网都没有，估值直接冲到21亿。硅谷顶级风投B Capital抢着投了6400万美元，图的不是她现在有啥产品，而是押注未来十年AI的“地基”——数学推理能力。金融、加密、AI训练，全都离不开这个硬核技术。 洪乐潼这代00后，不讲故事、不烧钱，专啃最难的技术硬骨头。她身上有中国教育的扎实底子，也有敢想敢干的冲劲，还能拉来全球顶尖人才一起干大事。说白了，她不是在创业，是在重新定义AI的“智商”。这股后浪，不是来陪跑的，是来改规则的。