https://www.linkedin.com/in/carina-hong?utm_source=share&utm_campaign=share_via&utm_content=profile&utm_medium=ios_app
 

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 共同探索无限的未知。

这是属于时代的转折点，也是一段比小说更炫目的真实故事。

 

大家都在问，洪乐潼是谁？