传奇数学家Ken Ono辞去终身教职，携手学生Carina Hong共创AI数学新纪元

数学界巨擘Ken Ono毅然放弃弗吉尼亚大学终身教授席位，投身于由昔日门生Carina Hong创立的Axiom Math，致力于研发「AI数学家」。这一重大转折的导火索，源于他在一场学术研讨会上惊觉人工智能在数学探索中蕴藏的无穷潜力。

就在近日，57岁的知名数学家Ken Ono宣布辞去终身职位，追随他24岁的学生Carina Hong，共同追逐「数学超级智能」的梦想。

Ken Ono作为全球顶尖数学家之一，此前在弗吉尼亚大学任教时，硅谷的AI初创公司对他来说完全是另一个世界。

不久前，他还在讲座中调侃AI技术的「神话」，自称是NI（自然智能）。

而现在，NI与AI即将融合。

Ken Ono举家从弗吉尼亚搬迁至数千公里外的硅谷，正式加入Carina Hong的AI企业Axiom Math。

Ken Ono与Axiom Math创始人Carina Hong的合影。

推动数学超级智能的先行者

2024年，当时还在斯坦福大学攻读博士学位的Carina Hong，在学校附近一家咖啡馆萌生了创建Axiom Math的构想。

年仅24岁的她拥有堪称「逆天」的学术经历。

Carina Hong在广州长大，自幼便展现出对数学的热爱，接受过奥数训练，并在激烈竞争中脱颖而出。

然而，真正令她心驰神往的是数学研究与发现的过程。

「奥数带来一连串多巴胺刺激，但做研究则是不断碰壁——那种痛苦让我着迷。」

作为家中第一代大学生，Carina Hong大约在十四五岁时就将目标锁定麻省理工学院。

Carina Hong在麻省理工学院学习期间的照片。

她仅用三年就从MIT毕业，荣获美国本科数学研究最高奖摩根奖和罗德奖学金。

获得罗德奖学金后，她得以赴牛津大学继续深造。

因此，从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数学家」，该系统不仅能给出答案，更能推理现有问题、发现新问题，并通过形式化证明验证自身工作。

她认为数学是检验超级智能的理想试验场，希望Axiom Math未来能攻克困扰人类数百年的难题，甚至提出全新数学猜想。

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

尽管AI泡沫令人担忧，但数学家们愈发看好AI为数学带来突破的潜力。

不走寻常路的数学家

与天才学生Carina Hong相似，Ken Ono的经历同样充满传奇色彩。

1968年出生于费城，童年时因父母压力而痛苦，甚至连高中都未读完。

即便如此，他仍考入芝加哥大学，并在数学家父亲的影响下爱上数学。

毕业后，Ken Ono先后在威斯康星大学、埃默里大学任教多年，2019年转至弗吉尼亚大学担任数学系教授。

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

Ken Ono以深入研究印度数学奇才拉马努金的理论而闻名，同时领导美国顶尖的本科研究项目，培养出10位摩根奖得主，Carina Hong便是其中之一。

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

他或许是史上唯一出演啤酒广告的数论学家，曾亮相米勒淡啤的超级碗广告。

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

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

《知无涯者》电影剧照。

纵观这些经历，不难发现Ken Ono是一位不断突破边界、勇于打破常规的人。

对他而言，辞去终身教职，举家迁往硅谷加入初创AI公司，并非意外之举。

事实上，这一切转变早在去年春天便已埋下伏笔。

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

Ken Ono始终关注AI对数学领域的影响。

这种关注更多出于好奇，而非恐惧。

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

Ken Ono认为，人类的创造力在数学中不可或缺。

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

然而去年春天的一次研讨会改变了他的想法。

当时他受邀参与测试AI模型的活动，与另外29位数学家一同提出研究级难题考验AI。

爱穿夏威夷衬衫的Ken Ono在数学界极具传奇色彩。

离开研讨会时，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寻找自己的「传世之作」。

参考资料：

https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417