新智元报道

编辑：元宇

传奇数学家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。

Ken Ono与Axiom Math创始人Carina Hong

推动数学超级智能的人

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

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

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

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

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

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

Carina Hong在麻省理工学院

她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还参与制作一部了致敬数学家拉马努金的传记电影《知无涯者》，任该电影的联合制片人兼数学顾问。

《知无涯者》（The Man Who Knew Infinity）电影剧照

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

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

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

一场研讨会

让Ken Ono找到「另一种做数学的方式」

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

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

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

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

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

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

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

秒追ASI

⭐点赞、转发、在看一键三连⭐

点亮星标，锁定新智元极速推送！