WSJ的独家报道，来自广州的00后女生聘用本科的导师给自己打工[二哈]：数学传奇离开学术界——加入一家由 24 岁青年创立的 AI 初创公司The Math Legend Who Just Left Academia—for an AI Startup Run by a 24-Year-Old

Ken Ono 有了一个顿悟。现在，这位教授正前往硅谷追寻“数学超级智能”。

Ken Ono的职业生涯——作为世界上最杰出的数学家之一——带他去了许多他从未想象过的地方。

这位享誉盛名的弗吉尼亚大学教授经常走出校园，把他的公式带到好莱坞、奥运会等地。他是唯一一位出演啤酒广告的数论学家。而在他的下一幕，这位数学界的“文艺复兴式人物”正在做一件即便对他来说也匪夷所思的事情。

他要离开自己的终身教职，去为一个 24 岁的年轻人工作。

不久以前，加入硅谷一家 AI 初创公司对他来说还是完全不可思议的。事实上，在 AI 改变他的职业轨迹、动摇他整个人生之前，他一直自认为是人工智能的怀疑者。刚不久前，他谈论 AI 时还喜欢拿所谓的“科技炒作”开玩笑。

“我叫 Ken Ono，我是 NI，”他说，“Naturally intelligent，自然智能。”

但现在，他成为了一家希望用 AI 革命数学的初创公司的最不可能的员工。

57 岁的大野即将从学界长期离开，并且没有计划回归。他将加入一家由他过去的学生之一——Carina Hong——创立的公司，而她的履历耀眼得足以让 AI 自己都感到不安。

她三年从 MIT 毕业，夺得全美本科数学研究最高奖——摩根奖（Morgan Prize），并获得罗德学者资格。随后，她前往斯坦福攻读法律和数学博士的双学位。直到她辍学创办 Axiom Math，筹集到 6400 万美元资金，挖走了几位 Meta 的 AI 研究员——并聘用了她的导师。对她来说，这个决定再自然不过。

“Ken Ono 是许多数学学生的偶像。”Axiom CEO 洪乐潼（Hong）说。

Hong 的公司以数学中“公理”（Axiom）一词命名——即能作为整个理论起点的基本真理。她的目标是打造一个“AI 数学家”，能够推理解决已知问题、发现新问题，并能用形式化证明验证结果。若成功，Axiom 或许能破解困扰人类数百年的数学难题。

投资者押注数学超级智能能拥有各类商业应用——软件/硬件验证、物流优化、算法交易、金融工程等。在科技巨头烧钱、市场担忧泡沫的同时，越来越多数学家却对 AI 在辅助数学研究、推动新发现方面持乐观态度。

当我与大野交谈时，是他正式签署离职文件的次日。他正准备搬往西海岸，不愿对未来做过多预测。但这位从教授转而加入数学 AI 创业公司的学者分享了他自己的一个“公理”：

“如果我是第一个，那就这样吧。我不会是最后一个。”

大野是个异类，他的职业生涯从一开始就不走寻常路。

童年时期，来自父母的巨大压力让他痛苦不堪，以至于没有读完高中。但即便没有文凭，他仍然进入大学，爱上数学，先后在威斯康星大学、埃默里大学任教数十年，并于 2019 年来到弗吉尼亚大学。他还领导全美顶尖的本科精英数学研究项目，指导了 10 位摩根奖得主，其中包括他的现任老板。

“他在数学界是个传奇人物。”前美国数学学会主席 Ken Ribet 说。

在数学领域，大野以其跨数论多个主题的研究而著名，从拉马努金同余到幽影月光（umbral moonshine）猜想。

如果你读到上一句已经感到头皮发麻，现在可以放心了。

因为，大野也因将数学应用于其他领域而闻名。他曾为弗吉尼亚大学的游泳运动员提供数学咨询，也帮助过美国队的奥运金牌选手。他还为国家安全局提供建议。八年前，他参与制作了电影《知无涯者》（The Man Who Knew Infinity），随后还出演啤酒广告，证明 64（Miller64 的热量）确实小于 80（竞争对手的低卡啤酒）。

他还有另一项特色：令人印象深刻的夏威夷衬衫收藏。

“我希望 Axiom 会和 Tommy Bahama 合作，”他说，“那是我的梦想。”

近几年，大野开始关注 AI 的惊人进步。他很感兴趣，但并不感到威胁。AI 在认知任务和解决见过的问题方面令人惊叹，但在纯数学中需要的创造力——直觉与抽象思维——却显得力不从心。

这种创造力是纯数学的根本，所以他原以为自己的工作至少几十年内不会受到 AI 冲击。

直到去年春天，他作为 30 位受邀数学家之一，为测试 AI 模型提供研究级别的数学问题。他离开那次研讨会时被眼前的一切深深震撼。

“我与模型的领先差距正在缩小，”他说，“而在我不熟悉的数学领域，模型似乎已经远远超过我。”

接下来的几个月，大野感觉自己像在“哀悼”自己的身份。他知道 AI 会变得越来越强，却不知道下一步该怎么走。

“然后我突然有了顿悟，”他说，“我意识到，这些模型提供的是一种做数学的新方式。”

他过去的合作对象包括同事、研究生、聪明的本科生——而现在，又多了 AI。

“我每天花一两个小时和模型头脑风暴，”他说，“深夜睡不着时，我就打开手机，与模型以疯狂高的水平讨论数学。”

与此同时，AI 并不是让他突然觉得教授职位不稳固的唯一原因。

随着美国司法部开始针对高等教育，他担心联邦科研资金面临风险。今年早些时候，弗吉尼亚大学校长在特朗普政府的压力下辞职。作为教务长的 STEM 顾问，他花越来越多的时间处理政治，而不是做数学。

他决定离开 UVA，加入 AI，是因为他无法拒绝这次改变世界运作方式的机会。

“我有机会参与真正改变世界的过程，”他说，“作为一名纯数学家，这样的机会并不多见。”

在他判断是时候做出改变后，他知道该给谁打电话。

Carina Hong 是他 2020 年在本科研究项目中的学生，在获得摩根奖和数学最高女性奖 Schafer Prize 之前便已引人瞩目。她在中国出生长大，小时候自学英语，以便阅读高级数学教材。她参加过数学奥赛训练，习惯在时间压力下解决问题，但后来迷上了另一类数学。

“我一直对数学发现很感兴趣，”她说，“奥赛数学能带来源源不断的多巴胺，但研究数学是让你一遍遍撞墙。这是痛苦与折磨。我喜欢这一部分。”

在我们的交谈中，她把数学研究和法学院一年级都形容为“非常好玩”。少有人能这样评价。

作为家里第一代大学生，Hong 在 MIT 是数学天才。她没有像许多同学一样去对冲基金做量化交易员，而是作为罗德学者去了牛津。在那里研究神经科学、写了两篇论文后，她前往斯坦福攻读法学博士与数学博士。

周末时，她喜欢在校园附近的咖啡店学习。喝着抹茶拿铁，她阅读深奥的数学论文，并与另一位常客——Meta 的 AI 科学家 Shubho Sengupta——成为熟人。聊天中，他们意识到双方或许能合作，把数学与 AI 融合。

在晨跑时，Hong 思考着是否要离开学校创业，她想起芯片巨头 AMD CEO 苏姿丰（Lisa Su）给学生的建议：奔向最难的问题。

“数学研究真的很难，”Hong 说，“做数学的 AI 更难。”

去年夏天，Axiom 的种子轮融资完成后，她立即辍学。

几天后，Google DeepMind 和 OpenAI 发布的模型在国际奥林匹克数学竞赛中夺金，引爆科技社区。同一时间，由 Robinhood CEO Vlad Tenev 共同创立的 Harmonic 也宣称“数学超级智能正以分钟为单位逼近”。

在这场竞赛中，Hong 与她的 CTO Sengupta 开始争夺人才。他们从 Meta 招来了 AI 数学先驱 François Charton。他们的挖角行动震动了硅谷，也吸引了另一位远在千里之外的人——Ken Ono。

不久之后，他便和妻子以及他们的雪纳瑞贵宾混血狗 Mochi 一起开始打包。

本周，他成为 Axiom 的第 15 名员工。

当开始讨论职位时，创业公司最初的提议是“chief math guy（首席数学家伙）”。经过一番协商，他们最终确定了正式头衔：创始数学家（founding mathematician）。

他的工作是把公司的 AI 模型推到极限。他将设计只有真正理解数学原理才能解决的代表性问题，同时制定基准，衡量系统表现并为模型指明方向。

“可以把它想象成一张航海地图，”他说，“在你准备探索新大陆之前，你需要知道你现在在哪里，已有的领域有哪些。”

大野说，吸引他加入 Axiom 的是探索本身，而不是金钱因素。

“我不是为钱这么做的。”他说。他本来就是 UVA 薪酬最高的员工之一，并表示自己拒绝过薪酬更丰厚、股份更大的 AI 公司邀请。

Axiom 在帕洛阿尔托的办公室里，会议室以传奇数学家命名——庞加莱、高斯、希尔伯特、洛夫莱斯、图灵。员工们是那种会注意到 Axiom 的 6400 万美元融资包含数字 26，并开玩笑说下一轮应该是 27 的人。

令人惊讶的是，大野的许多同事都和他年龄相仿。

“很多顶尖的前沿研究者正处在人生阶段：他们有成绩、有作品、有财务安全——并在寻找自己的‘遗产项目’。”Hong 说。

而其中一位还在寻找别的东西。

“即便我们达成超级智能，仍会有一些数学问题无法被解决，”大野说，“而我仍将继续寻找答案。”