最近，《华尔街日报》刊登了一篇让全世界知识分子心头一震的报道：
美国顶尖数学家、57 岁的肯·小野（Ken Ono），辞去弗吉尼亚大学的终身教授职位，跑去硅谷给一个 24
岁的中国女孩打工——加入她创立的 AI 数学公司 Axiom Math，成为她公司的第15位员工。
是的，你没看错。
不是教授带学生创业。
是教授去给学生打工。
而这位学生，就是来自中国广州、天赋异禀、履历炸裂到不真实的洪乐潼 （Carina Letong Hong）。
别着急，请听我慢慢细说。
01｜当数学传奇遇上 AI：教授被震到“身份危机”
Ken Ono 是什么级别的人物？
UVA 顶级数学教授
世界最知名的数论学家之一
好莱坞、奥运会都找他做数学顾问
甚至因拍啤酒广告被称为“最会玩”的数学家
他的数学成就横跨 Ramanujan 研究、数论、Moonshine 理论等超级深水区。
他本以为数学的创造力不会被AI取代，“至少还要几十年”。
直到去年春天，他受邀参加一个对AI数学模型的测试。
看完之后，他整个人都不好了。
“在我不擅长的数学领域，AI 已经远远超过我。”
——Ken Ono
这个被誉为“数学界的巨人”的教授，第一次感受到知识的天花板正在被 AI 重写。
他甚至陷入了一段深度的“身份丧失”：
“如果 AI 连这都能做，那我还能做什么？”
直到那场“撞击灵魂”的 epiphany（顿悟）到来——
“AI 不是来取代数学家，而是改变数学的做法。”
——Ken Ono
于是，他做出一个震动整个数学界的决定：
离开学术界，加入AI数学领域的最前线。
02｜教授跳槽去的公司，老板只有24岁，而且还是他的学生
更戏剧的是：
他加入的公司叫 Axiom Math。
创始人，是24岁的洪乐潼。
这家公司刚成立就从顶尖基金那里拿到 6400 万美元融资，一口气挖来一批 Meta 的顶尖 AI 数学研究员。
而她给自己的导师开放的职位名称简洁粗暴：
“Chief Math Guy（首席数学家）”。
最后双方“谈判”结果是：
Founding Mathematician（创始数学家）。
一个57岁的数学大家，与一个24岁的天才女生，一起冲向数学 + AI 的无人区。
现实比科幻更科幻。
03｜那么，这个让教授愿意“下凡打工”的女孩，到底有多厉害？
大家都在问，洪乐潼是谁？
图片来源：M I T官网
她来自广州，是家里的第一代大学生。
但她的人生轨迹，从一开始就开挂。
以下内容请深呼吸阅读：
高中广东省奥数队，多次获得全国高中数学联赛奖项
MIT本科3年毕业，数学 + 物理双学位
Sigma Pi Sigma 荣誉会员
美国本科数学最高荣誉——Morgan Prize摩根杰出研究奖得主
美国数学界最高女性奖 Schafer Prize爱丽丝·谢弗奖（美国一年只选 1 人）
罗德奖学金（Rhodes Scholar）
玛丽亚姆·米尔扎哈尼奖学金
多篇同行评审论文 + 顶会审稿人
在美德法英中各国峰会发表过演讲
然后她还顺便：
在牛津拿了神经科学硕士
在全球最顶尖的机器学习研究机构 Gatsby Unit 做研究
在斯坦福攻读数学 PhD + 法学博士 JD
周末为低收入工人做法律援助
用经济学研究执法改革
更夸张的是，她在咖啡馆里读数学论文时，和隔壁桌Meta的AI科学家聊了聊天，于是为未来大胆做出了决定。
你以为她会去华尔街做量化？
不，她选择——
退学创业。
因为她觉得：
“研究数学已经很难了。
AI 做数学？
更难。
我要去做这个。”
知难而进，这才是数学天才的浪漫。
04｜她的目标：打造 “AI 数学家”
洪乐潼创立的 Axiom，不是做一般意义上的 AI。
她要做的是：
能独立思考、提出猜想、做出证明的“AI 数学家”。
这意味着什么？
意味着：
AI 可以自动做数学研究
能检验理论正确性
能优化物流、芯片设计、金融系统
能解决人类几百年没解决的难题
如果成功，它会成为数学界的“深蓝时刻”。
也会成为科技界最大的爆点之一。
05｜教授为何愿意追随她？
Ken Ono 说：
“她是我教过最亮的星星之一。”
更重要的是，他认为 Axiom 做的是数学史上从未有人做过的事情。
他现在的日常工作包括：
给 AI 模型设计必须通过的数学难题
构建数学能力的基准测试
推动模型向“数学创造力”进化
“纯数学很美，但很少改变世界。
而 AI 数学，将改变整个世界。”
在 UVA，他越来越少做数学——
随着司法部将矛头指向高等教育，他担心联邦研究经费会受到威胁。
今年早些时候，弗吉尼亚大学校长在特朗普政府的压力下辞职。
作为教务长的STEM顾问，小野要应对政治、资金、行政。真正属于数学的那部分时间，被不断吞噬。
而在硅谷，他可以：
每天和世界最聪明的人讨论数学
push AI 到极限
参与构建数学的未来
让自己的数学真正改变世界运行方式
于是，57 岁的数学大师，决定离开弗吉尼亚大学投身人工智能领域。
带着妻子和他们家的狗狗，搬去了硅谷。
他说：
“我不是为了钱来这的。我是为了参与改变世界。”
他已经是弗吉尼亚大学薪酬最高的员工之一，并拒绝了其他AI公司更丰厚的薪酬和更大的股份。
这是一个数学家的浪漫，也是一个时代的召唤。
06｜知识分子的迁徙：从象牙塔到硅谷
这件事背后，其实是更大的时代信号：
全球最聪明的人，正在从大学涌向 AI 前线。
为什么？
因为在500年、5000年的历史尺度上：
真正改变世界的，不是论文数量，而是工具。
数学家 Ken Ono 看到了：
AI 正在重做科学方法
数学研究将被加速
人类知识体系将被重构
而这些都不会在象牙塔里发生。
他说：
“如果我是第一个，那就让我来。
我不会是最后一个。”
07｜尾声：数学比故事更浪漫
搬去硅谷上班的前一天，Ken Ono 说了一句话：
“即便我们创造出超级智能，
世界上仍会有数学问题无人能解。
而我，依然会在寻找答案。”
数学永远不会被彻底解完。
而数学家们，也永远不会停止追寻。
只不过，如今他们身边多了一个伙伴：AI
数学正在进入一个全新时代——
不再是人类单打独斗，而是与 AI 共同探索无限的未知。
这是属于时代的转折点，也是一段比小说更炫目的真实故事。
各位看官，你觉得，在 AI 的加速下，未来数学家会是什么样子？
在评论区留下你的想法，让我们一起聊聊这个比科幻更现实的数学革命吧！