半夜被AI「吓醒」！57岁导师投�岁华人女学霸，打造「AI数学家」

新智元报道

编辑：元宇

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

刚刚，57岁的数学教授Ken Ono宣布辞去终身教职，跟随自�岁的学生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在麻省理工学院

𷺽年内从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时，短短几个月便完成�万美元的种子轮融资，估𲉛亿美元，并吸引了包括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在威斯康星大学、埃默里大学执教多年，并�年前往弗吉尼亚大学担任数学系教授。

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

Ken Ono以对印度数学奇才拉马努金（Srinivasa Ramanujan）理论的深入研究而闻名，还带领了美国顶尖的本科研究项目，培养�位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模型的活动，作为参与这次活动�位数学家之一，他们需要提出研究级难题来考验AI模型。

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

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

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

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

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

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

忽然之间，他顿悟了。

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

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

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

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

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

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

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

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

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

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

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

Axiom的�号员工

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

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的�名员工，担任创始数学家。

他的任务是把公司的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

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

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