传奇数学家 Ken Ono 辞去了弗吉尼亚大学终身教职，加入了自己学生 Carina Hong 创办的 Axiom Math，打造「AI 数学家」。促使他做出这一决定的，只因他在一次研讨会上看到了 AI 在数学研究上的无限可能。

刚刚，57 岁的数学教授 Ken Ono 宣布辞去终身教职，跟随自己 24 岁的学生 Carina Hong 追逐「数学超级智能」。

Ken Ono 是目前全球最杰出的数学家之一，对于在弗吉尼亚大学执教的他来说，硅谷 AI 初创公司好比另一个世界。

前不久，他还在讲座时调侃 AI 技术的「神话」，称自己是 NI（Naturally Intelligent，天生智能）。

如今，NI 和 AI 要合二为一了。

Ken Ono 从弗吉尼亚举家搬到了数千公里之外的硅谷，加入了 Carina Hong 的 AI 初创公司 Axiom Math。

2024 年，仍在斯坦福大学攻读博士的 Carina Hong，在学校附近的一间咖啡馆中萌生了创办 Axiom Math 的想法。

24 岁的她有着近乎「逆天」的履历。

Carina Hong 在中国广州长大，她在很小的时候就发现了自己对数学的热爱，她曾接受过奥数训练，并从激烈的竞争中脱颖而出。

但真正让她着迷的，还是数学研究和发现。

「奥数是一连串的多巴胺刺激，但做研究就是不断撞墙——那是一种痛苦。我喜欢那种痛苦。」

作为家族中第一代大学生，Carina Hong 大概在十四五岁的时候，就已经把目标锁定了麻省理工学院（MIT）。

她 3 年内从 MIT 毕业，拿下美国本科数学研究最高奖 Frank and Brennie Morgan Prize（摩根奖）和 Rhodes Scholarship（罗德奖学金）。

获得罗德奖学金，使她有机会赴牛津大学进一步深造。

因此，从 MIT 毕业后，她放弃了做对冲基金量化交易员的机会，选择了前往牛津大学攻读神经科学硕士学位。

在牛津期间，她还做过与深度学习相关的研究。

随后，Carina Hong 又去斯坦福攻读法律博士和数学博士。

正是在斯坦福大学附近的咖啡馆，她结识了 Meta 的前 AI 科学家 Shubho Sengupta。

他们讨论了把 AI 和数学两个领域结合起来的想法。

随后一段时间内，Carina Hong 时常想起 AMD 的 CEO 苏姿丰对学生的建议：奔向最难的问题。

「数学研究已经够难了，去做数学的 AI 更难」。

于是去年夏天，等 Axiom Math 的种子轮融资一落地，Carina Hong 立刻退学创业。

曾和她一起在咖啡馆讨论问题的 Shubho Sengupta，也成了 Axiom Math 的 CTO。

Carina Hong 退学创办 Axiom Math 时，短短几个月便完成了 6400 万美元的种子轮融资，估值 3 亿美元，并吸引了包括 Shubho Sengupta 在内的前 Meta 的 AI 研究员。

Axiom 这个名字来自「公理」，即数学中可构筑整套理论的基本真理。

Carina Hong 的想法是打造一款「AI 数学家」，这是一个能够推理已有问题、发现新问题，并用形式化证明验证自己工作的 AI 系统，而不仅仅是给出答案。

Carina Hong 认为数学是打造超级智能的完美试验场，她希望 Axiom Math 未来能够攻克一些困扰人类数百年的难题，甚至能够提出全新的数学猜想。

投资方 B Capital 将 Carina Hong 称作「推动数学超级智能的人」。

尽管 AI 泡沫令人担忧，但数学家们却越来越看好 AI 可以带来数学突破的潜力。

非典型数学家

与自己的天才学生 Carina Hong 一样，Ken Ono 的经历同样堪称传奇。

1968 年，Ken Ono 出生于费城，儿时迫于父母压力的痛苦，他连高中都没念完。

即使这样，他仍然考取了芝加哥大学，并在数学家父亲的影响下爱上了数学。

毕业后 Ken Ono 在威斯康星大学、埃默里大学执教多年，并于 2019 年前往弗吉尼亚大学担任数学系教授。

美国数学学会前主席 Ken Ribet 认为 Ken Ono 是数学界的传奇人物。

Ken Ono 以对印度数学奇才拉马努金（Srinivasa Ramanujan）理论的深入研究而闻名，还带领了美国顶尖的本科研究项目，培养过 10 位 Morgan Prize 得主，Carina Hong 就是其中的一位。

不满足于「纸上数学」，Ken Ono 还积极地将数学应用于体育与科学传播。

他也许是史上唯一一个出现在啤酒广告里的数论学家，出演了米勒淡啤（Miller Lite）的超级碗广告。

他曾为 UVA 游泳队和美国奥运金牌选手提供咨询，运用数学分析和建模为精英竞技游泳运动员提供指导。

Ken Ono 还参与制作一部了致敬数学家拉马努金的传记电影《知无涯者》，任该电影的联合制片人兼数学顾问。

对比这些经历，你会发现 Ken Ono 是一个不断追求破界、勇于打破常规的人。

对于他来说，辞掉终身教职，举家搬到数千公里外的硅谷，加入一家初创的 AI 公司，并不是一个十分令人意外的选择。

而且，这一切转变，早在去年春天已经埋下了伏笔。

一场研讨会，让 Ken Ono 找到「另一种做数学的方式」

Ken Ono 一直在关注 AI 对数学领域的影响。

这更多是出于一种好奇，而非恐惧。

他发现 AI 在认知任务、解决已知问题上表现惊人，但一旦涉及需要直觉与抽象思维的创造力部分，比如在纯数学领域仍显得笨拙。

在 Ken Ono 看来，这种人类创造力在数学中至关重要。

基于这一认知，他原本认为自己的工作至少还能稳定几十年。

然而去年春天的一次探讨会，改变了 Ken Ono 的想法。

当时的他受邀参加一次测试 AI 模型的活动，作为参与这次活动的 30 位数学家之一，他们需要提出研究级难题来考验 AI 模型。

从那场研讨会离开时，Ken Ono 觉得自己的内心遭受了极大冲击。

他感觉到自己原本领先 AI 的那一点优势正在迅速消失！

而且在那些并非自己专长的领域，模型甚至已经把他甩在了后面。

之后的数月，Ken Ono 都好像在「哀悼自己原有的身份」。

他对未来有点迷茫，唯一确定的是 AI 会越来越强。

忽然之间，他顿悟了。

AI 所展示的是另一种做数学的方式。

以往他一直有同事、研究生、天才本科生作为搭档，现在这些搭档之中又多了一个新角色—— AI。

顿悟后的 Ken Ono 每天都会花一两个小时跟 AI 一起想点子。

「半夜睡不着，我就开着手机跟它们讨论数学，发现它们的水平高得离谱。」

Ken Ono 离开大学并非只有 AI 的因素。

随着司法部把矛头对准高等教育，他担心研究经费岌岌可危。

今年早些时候，弗吉尼亚大学校长在特朗普政府压力下辞职。

作为教务长在 STEM 事务上的顾问，Ken Ono 花在处理政治相关事务上的时间也越来越多，做数学的时间却越来越少。

于是他决定离开弗吉尼亚大学投身 AI。

在他看来，这是又一次把数学的影响力延伸到校园之外的机会。

「我很幸运能去参与改变世界运作方式的事业，作为纯数学家，这是很少有的机会。」

Axiom 的第 15 号员工

做出了投身 AI 的决定之后，Ken Ono 立刻就想到了 Carina Hong，她是 Ken Ono 在 2020 年本科研究项目的学生。

Axiom Math 创办几天后，Google DeepMind 和 OpenAI 的模型在国际数学奥林匹克竞赛夺金，令全球数学圈沸腾。

由 Robinhood CEO Vlad Tenev 联合创办的 Harmonic 也引发关注。

Tenev 表示数学超级智能正在一点点逼近。

为了确立自己的竞争优势，Carina Hong 迅速组建了一支由杰出的人工智能与数学专家组成的团队，其中许多人来自 Meta 的 FAIR 实验室。

核心成员包括 Francois Charton，他因解决了一个百年数学难题而闻名；Hugh Leather，是代码生成领域深度学习的早期先驱之一。

Axiom Math 的招募活动在硅谷引起轰动，也吸引了 Ken Ono 的注意。

随后，Ken Ono 带着妻子举家搬到数千公里外的硅谷，正式成为 Axiom Math 的第 15 名员工，担任创始数学家。

他的任务是把公司的 AI 模型推到极限。

他会设计那些只有真正理解数学原理才能解决的代表性问题，同时制定评估系统表现的基准，帮助模型找到前进方向。

Ken Ono 认为，这些工作好比制作航海图，想要发现新大陆，就要先知道自己在哪儿、哪些地方已经被探索过。

Carina Hong 表示，Ken Ono 是许多数学学生的偶像，他在 Axiom Math 遇到了许多和他年龄相仿的同事。

Axiom Math 吸引这些顶级 AI 研究员的，正是它的使命——用 AI 推动数学发现。

「即便抵达超级智能，仍会有数学问题无解」，Ken Ono 说，但他还会继续寻找答案。

正是这种持续探索的渴望，让他与很多其他顶尖的研究者一起，在 Axiom Math 寻找自己的「传世之作」。