## 693｜57岁顶尖数学家辞去终身教职加入AI初创公司，老板是24岁华人学生

你好，我是快刀青衣。欢迎收听快刀广播站，每天带你看AI。

2025年春天，专门测评AI能力的机构Epoch AI在加州伯克利的会议室里，组织了一场小型秘密会议。30多位来自世界各地的顶尖数学家参会，目的就是为最新一代的推理模型设计一套真正有分量的试题，看看AI除了写诗画画，能不能在严肃的数学世界里站得住脚。毕竟我们常说一句话，那就是“数学不会才是真的不会”。

57岁的小野肯（Ken Ono）坐在会议室里，面前摆着他精心设计的几道数学题。这些题不是教科书上的习题，而是真正的研究级难题，需要深度理解数学原理才能解决。作为被誉为“最懂拉马努金的当代数论学者”，他对自己出的题很有信心。

这里岔开一下，我先和你解释一下这个称号。拉马努金是印度数学天才，尽管他几乎没接受过正规高等教育，却在短短32年的生命里留下约3900个数学公式和定理，其中三分之二是当时数学家们从未见过的，所以很多同行都说他拥有远超当时时代的知识。

而小野肯就专注于拉马努金关注的数论方向。数论是数学的一个分支，也是现代密码学的理论基础。小野肯发表过160多篇数学学术论文，还证明了多个困扰数学界数十年的拉马努金猜想。

这个称号背景介绍完了，我们回到AI模型解题的现场。

在几个小时后，小野肯看着结果，整个人大受震撼。他后来在社交媒体上说：“我离开研讨会时的感受就是，模型已经遥遥领先于我。不是‘在某些方面超过了我’，而是‘遥遥领先’。”

也许就是这个瞬间，改变了这位顶尖数学家的人生轨迹。因为在上周，也就是2025年12月4日，小野肯在社交媒体X上宣布，辞去弗吉尼亚大学终身教职，全职加入一家AI初创公司Axiom，担任“创始数学家”，成为公司第15号员工。

![图片](https://piccdn2.umiwi.com/uploader/image/ddarticle/2025120819/1895362205440994888/120819.png)

说实话，顶尖学者离开学术界加入AI公司，这两年已经不算新闻了。但小野肯的决定还是让人意外，因为这家公司的老板是他5年前在MIT带过的学生——24岁的中国女生洪乐潼（Carina Hong）。

2020年，小野肯在MIT带本科生研究项目。这个项目在美国数学界很有名，他带出来的学生里，有10位拿到过摩根奖——这个奖项是美国本科生数学研究的最高奖项，而且每年通常只发给一个人，除非是多人共同研究。而洪乐潼，就是2023年的摩根奖获奖者。

她来自广州，用3年时间读完麻省理工学院数学和物理双学位，拿到摩根奖后，又横扫普林斯顿、斯坦福、哈佛、MIT的博士Offer。但她没有按大家预期的那样走学术研究道路，2024年她从斯坦福辍学创办了Axiom。她要做的事情很明确，就是让AI像数学家一样思考，不是靠“猜”或“模式匹配”，而是能一步步推导出答案，并且能证明自己是对的。这和现在大部分AI公司做的通用大模型不一样——那些模型什么都能聊，却不一定真懂。

同学们应该还记得2024年关于大模型能力的讨论，当时很多人都认为复杂数学问题是AI无法攻克的领域。就在那个时候，洪乐潼创办公司想要解决这个问题。虽然作为00后的她非常年轻，但她创业时就把目标客户想得很清楚，那就是对冲基金和量化交易公司——因为这些公司需要解决大量复杂数学问题，但组建强大技术团队的成本却太高。

像同学们熟悉的DeepSeek，其实母公司也是做量化交易的。这个领域有充足的资金支持研究，而且研究结果还能马上拿到市场上接受检验，做真刀真枪的计算和交易。这就不再是看AI“能不能写一首诗”的问题了，全是真金白银的考验。

洪乐潼拿到了6400万美元的种子轮融资，公司估值达3亿美元。需要注意的是，这时的Axiom还是零产品、零用户的状态。投资人投的，是洪乐潼对数学的深度理解，以及她把这种理解转化为AI产品的能力。

你看，这就是AI时代顶尖人才的价值，一个24岁的女生，第一笔融资就拿到了大约4个多亿人民币。当然，我相信你和我感受一样，更多是赞叹而不是嫉妒，毕竟咱们的数学能力和她比，差得太远了。

上周，洪乐潼还在社交媒体上晒出和小野肯的合影，激动地宣布他加入Axiom，担任创始数学家。曾经的师生，如今变成了上下级；曾经的老师成了第15号员工，学生成了老板。

![图片](https://piccdn2.umiwi.com/uploader/image/ddarticle/2025120819/1895362251611897880/120819.png)

![图片](https://piccdn2.umiwi.com/uploader/image/ddarticle/2025120819/1895362243021963288/120819.png)

小野肯原本对AI的态度，是怀疑的。他常调侃自己是“天生智能”，觉得AI要几十年才能在数学领域取代他。但那场研讨会改变了一切。

说实话，这让我马上想起2016年AlphaGo对战李世石的那场比赛。当时第二局第37手，AlphaGo下出一步所有人都看不懂的棋。李世石愣住了，现场解说也愣住了，所有人都觉得这是一步昏招。就因为这步棋挑战了人类围棋的所有经验，李世石特意去天台上抽烟思考了12分钟，这也是他这局比赛唯一一次长考（长考指棋手在棋类比赛中投入较长时间思考单步着法的行为）。我当时看直播时，解说员是中国棋王古力，他连说了好几遍“无法理解”。不过，直到十几手之后，大家才反应过来，刚才AI下的是“神之一手”。

所以我想，小野肯在研讨会上的感觉，可能就是这样。自己研究了数学30年，在某个领域内是世界顶尖专家，却突然发现AI模型几个小时就能解决自己原本要花几天甚至几周才能搞定的问题。所以离开研讨会时，小野肯意识到自己原本领先AI的优势正在迅速消失。与其等着被替代，不如自己“砸自己的饭碗”。

当然，我觉得背后可能还有另一个原因。2025年，弗吉尼亚大学校长在特朗普政府压力下辞职了。作为学校教务长的科学顾问，小野肯花在处理校务上的时间越来越多，做数学研究的时间却越来越少。而且今年特朗普政府正在大幅削减美国大学的研究开支，这可能也让他觉得在高校做研究没什么前景吧。

两个因素叠加，让小野肯做出决定：离开学术界。他想到了洪乐潼，想到了Axiom，也想到一种可能性，如果AI真要改变数学研究的方式，为什么不亲自去塑造这个改变的方向？几周后，他成为了Axiom的第15号员工，成为了“创始数学家”。

其实，小野肯不是第一个做这种选择的人。之前备受关注的李飞飞教授，也是从2024年进入了“学术休假”状态，从斯坦福大学出来创立World Labs，专注研究世界模型。2025年9月，另一位数学家弗朗索瓦·沙尔东 (François Charton)从Meta的FAIR实验室离职加入Axiom，他之前因为用AI解决了一个百年数学难题而出名。这些人都是各自领域的顶尖学者或工程师，都选择离开稳定的学术机构或者大公司。

不过，我也看过一些创业公司的介绍，里面会挂几个高校学者的名字当首席科学家，显得这个项目有权威性，但里面有不少都只是老师给学生公司挂个名。小野肯在Axiom的工作，用咱们职场的话来说，是一份全职工作，是要实打实干活的。而他的职责是“把公司的AI模型推到极限”，具体来说就是设计那些只有真正理解数学原理才能解决的问题，然后用这些问题测试AI模型，帮模型找到前进方向。

小野肯用了个很生动的比喻，这就像“制作航海图”：想要发现新大陆，就得先知道自己在哪儿，哪些地方已经被探索过。

通俗点说，他的工作就是给AI出题。但这个出题，不是简单地从教科书上抄几道练习题，而是设计那种能真正测试AI是否理解数学的问题。咱们上学时都知道，有些题目看着难，其实套公式就能搞定；有些题目看着简单，却必须真正理解了才能做对。小野肯要做的，就是设计后面这种题目。

这件事，只有真正懂数学的人能做。从这个角度看，小野肯不是被AI替代了，而是找到了一个新位置——他能判断AI是否真的理解数学，而不只是会模式匹配。这正是AI公司现在最需要的能力。

说了这么多，我最核心的感受是：在AI时代，深度比广度更重要。

洪乐潼的履历很耀眼，但她最核心的能力是对数学的深度理解。小野肯也是如此，他在拉马努金研究、数论这些领域的深度，让他能设计出真正测试AI的问题。这种深度，让他们能判断AI能解决什么样的数学问题，什么样的技术路线是可行的。

小野肯和洪乐潼的故事，本质上不是57岁教授给24岁学生打工，而是两个真正懂数学的人在AI时代找到了新的合作方式：一个提供深度和经验，一个提供方向和执行力，一起去做可能改变数学研究方式的事。

这或许就是AI时代最有意思的地方：它不是简单替代人，而是重新定义人的价值。而那些在某个领域有深度洞察的人，不会被AI替代，他们正在成为AI的导航员。

最后，和你说一件咱AI学习圈的事。今天刘佳欢老师（阿真老师）的AI设计IP及衍生品的系列课程，上线了最后一讲《如何用即梦高效设计IP绘本漫画和周边产品》。

你是不是也遇到了这样的问题——IP形象是有了，但一到用的时候就头疼：想要做内容，但不知道怎么用IP来讲故事、画素材；想做运营，做一些实物周边，但设计师报价贵、沟通成本高、迟迟给不到自己想要的设计；或者你就是想做副业或开小店，想给产品做个高颜值、有记忆点的包装，却苦于预算有限，迟迟无法落地。

今天上线的这门课，就是来帮你解决“有形象、不会用”的难题。阿真老师将结合即梦最新上线的4.5模型能力，教你两套让IP“活”起来的实战方法： 一是用AI讲故事，无需画笔，就能让你的IP直接走进插画、绘本和多格漫画里，变成有性格、有故事的立体角色； 二是用AI做周边产品，无需找设计师，用即梦就能快速搞定周边产品设计和效果图，并获得落地生产的实用建议。

学会这套方法，你的IP就不再是一张静态图，而是能讲故事、能变现、能拿在手里的真实存在。推荐你现在就点击下方课程链接，开始学习。

点击学习《如何用即梦高效设计IP绘本漫画和周边产品》

![图片](https://piccdn2.umiwi.com/uploader/image/ddarticle/2025120819/1895362085181910600/120819.jpeg)

好，今天的广播就到这里。如果你觉得有帮助，欢迎分享转发给你的朋友。明天咱们接着聊AI。

![图片](https://piccdn2.umiwi.com/uploader/image/ddarticle/2025120819/1895361861843615768/120819.jpeg)
