传奇数学家Ken Ono辞去终身教职，投身AI数学初创Axiom Math追寻超级智能

知名数学家Ken Ono毅然放弃了弗吉尼亚大学的终身教授职位，加入了由他的学生Carina Hong创立的Axiom Math公司，致力于打造「AI数学家」。这一重大决定，源于他在一次研讨会上亲眼见证了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在十四五岁时就将目标锁定麻省理工学院（MIT）。

Carina Hong在麻省理工学院

她用3年时间从MIT毕业，荣获美国本科数学研究最高奖Frank and Brennie Morgan Prize（摩根奖）和Rhodes Scholarship（罗德奖学金）。获得罗德奖学金后，她放弃了对冲基金量化交易员的机会，前往牛津大学攻读神经科学硕士学位。

在牛津期间，她还参与了深度学习相关的研究。随后，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在威斯康星大学、埃默里大学执教多年，于2019年前往弗吉尼亚大学担任数学系教授。美国数学学会前主席Ken Ribet认为他是数学界的传奇人物。

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

不满足于「纸上数学」，Ken Ono积极将数学应用于体育与科学传播。他可能是史上唯一出现在啤酒广告里的数论学家，出演了米勒淡啤的超级碗广告。

他曾为UVA游泳队和美国奥运金牌选手提供咨询，运用数学分析和建模指导精英竞技游泳运动员。Ken Ono还参与制作致敬拉马努金的传记电影《知无涯者》，担任联合制片人兼数学顾问。

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

这些经历显示，Ken Ono是一个不断追求破界、勇于打破常规的人。对他来说，辞掉终身教职举家搬往硅谷加入AI初创公司，并非意外选择。这一切转变，早在去年春天已埋下伏笔。

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

Ken Ono一直关注AI对数学领域的影响，更多出于好奇而非恐惧。他发现AI在认知任务和解决已知问题上表现惊人，但涉及需要直觉与抽象思维的创造力时，如在纯数学领域仍显笨拙。

在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，她是2020年本科研究项目的学生。Axiom Math创办几天后，Google DeepMind和OpenAI模型在国际数学奥林匹克竞赛夺金，令全球数学圈沸腾。

由Robinhood CEO Vlad Tenev联合创办的Harmonic也引发关注。Tenev表示数学超级智能正在逼近。

为确立竞争优势，Carina Hong迅速组建了由杰出AI与数学专家组成的团队，许多人来自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