天才少女咖啡馆退学！57岁教授竟来打工，00后狂赚3亿美金

洪乐潼是广州潮汕人，家里没人上过大学，她在14岁时就在草稿纸上写下MIT，没觉得这有什么特别，后来她考上华南师大附中，在奥数比赛中拿到金牌，2019年真的进入MIT学习数学和物理，在大学期间她获得不少奖项，比如Schafer奖和摩根奖，都是全球很少女性能够得到的荣誉，2022年她又得到罗德奖学金去牛津研究AI如何与科学家协作，2024年秋天她去到斯坦福，同时攻读数学博士和法学博士，想要弄清楚AI对劳工权益带来的影响。

2025年8月，她在斯坦福附近一家咖啡馆遇见一位叫Shubho Sengupta的人，这位曾在Meta工作过，了解技术，聊完之后她就选择退学，开始自己创业，创办了Axiom公司，这事虽然突然，但没人觉得奇怪，她一向不按常规行事，从用草稿纸申请MIT那时起，就不打算走别人安排的路，我猜她可能早就想明白了，学校里学到的东西，不如亲手做点实际的事。

小野健是日本裔数学家，世界顶尖的数论专家，他以前公开说AI都是胡扯，认为机器根本不可能搞懂数学，结果2025年春天，他辞掉工作，跑去给洪乐潼打工，不是为了钱，因为更高薪的职位他都没去，他说现在高校太官僚，科研经费被砍，天天开会写报告，根本没时间做研究，他还发现，AI在某些领域已经比人类强，自己再怎么努力，也追不上系统性的进步，所以决定换条路，帮AI设计那些只有人类直觉才能解出来的题，让机器学会自己提猜想。

Axiom公司成立时间不长，团队规模很小，核心成员只有四五个，他们开发出Axiom Prover系统，在四个月里就解决了两个数学界长期未解的难题，这个系统还能在几分钟内完成IMO银牌难度的几何题，让数学领域的人感到惊讶，公司种子轮融资达到6400万美元，估值已有3亿美元，投资方包括B Capital，他们的目标很明确，先让AI扮演数学家角色，再让它发展成能够自主推理的系统，未来可以应用到金融和芯片设计等多个行业。

2025年夏天，很多类似的小公司纷纷出现，MIT背景的Anysphere融到了9亿美元资金，创始人都是00后，Jessica Wu和尼尔·德什穆克创办的Sola Solutions也拿到了硅谷风投的钱，陈源培的灵初智能专注于做机器人和AI结合的产品，高瓴和蓝驰都参与了投资，这些年轻人没有行业包袱，不觉得AI是可怕的东西，反而把它当成一种工具，只要用得好就行，他们敢于尝试新方法，也不盲目相信权威，技术变化快，他们的反应更加迅速。

以前没人想到数学专家会去初创公司工作，这件事表明纯理论研究的路子越来越难走，人工智能不只是帮人计算题目，它开始提出新问题，还能自己找方向，像洪乐潼这样既懂数学又懂法律的人带队，以后关于人工智能的责任归属和版权问题，多半得靠这种跨学科人才来定规则，投资人现在有点担心，这些00后创立的公司虽然看起来很厉害，但能不能长期存活还不确定，高估值不等于实力强，系统能否扩展壮大，只能让时间来证明。

洪乐潼从小就不信命，她报考MIT不是做梦，而是给自己定下目标，小野健也不是一时冲动，他看准了趋势才决定转型，00后这批人没有太多传统包袱，他们看见机会就上，失败了也愿意重新开始，AI不会取代人类，它让有能力的人找到新的位置，现在的游戏规则变了，谁适应得快，谁就能站稳脚跟。