https://mp.weixin.qq.com/s/1aJAsZ--nZaSFtcvHtXLzQ
最近，《华尔街日报》刊登了一篇让全世界知识分子心头一震的报道：
美国顶尖数学家、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｜那么，这个让教授愿意“下凡打工”的女孩，到底有多厉害？
她来自广州，是家里的第一代大学生。
但她的人生轨迹，从一开始就开挂。
以下内容请深呼吸阅读：
高中广东省奥数队，多次获得全国高中数学联赛奖项
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 共同探索无限的未知。
这是属于时代的转折点，也是一段比小说更炫目的真实故事。
大家都在问，洪乐潼是谁？
