57岁名师投奔24岁华裔学霸，打造AI数学家团队
免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈
新智元报道
编辑：元宇
【新智元导读】传奇数学家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
⭐点赞、转发、在看一键三连⭐
点亮星标，锁定新智元极速推送！
相关攻略
罗德推出Caster Video Core：瞄准专业创作者的一体化音视频“作战平台” 最近直播和视频制作领域的新装备，又有了新看点。罗德RØDE这次带来的Caster Video Core，直接将自己定位为“终极一体化内容创作工具”。从定位就能看出，它的野心不小，主打的就是为直播、专业视频采集等场景
《七弈万象：人类与AI的博弈史》[美] 奥利弗·罗德 著 高丽 译浙江科学技术出版社·湛庐文化 2025年10月2016年3月，AlphaGo与围棋世界冠军李世石的人机大战以4比1的总比分落下帷幕，
任嘉伦主演的《风与潮》大结局了，最后4集超前点播，看完后心情久久不能平静，真是今年岁末一部超好看的剧了。质量太好了，不夸张地说从第一集好看到最后一集，在央一播出已经证明了。这个剧的群像刻画得很好，不
新智元报道编辑：元宇【新智元导读】传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。促使他做出这一决定的，只因他
热门专题
热门推荐
开发者Chris通过Codex服务，仅用一句指令便自主完成开源赏金任务，盈利23 68美元，覆盖订阅成本。此事展示AI自主执行商业闭环的潜力，也引发成本与安全争议。AI正从工具向主动创收者转变。
在《崩坏：星穹铁道》的众多角色中，火花以其独特的技能机制，为战斗策略带来了丰富的变数与操作乐趣。她并非单纯的数值输出角色，而是一位集机动性、爆发伤害与战术价值于一体的近战专家。深入理解其技能联动，是充分发挥其战场潜力的关键。 普通攻击 - 迅刃连斩 火花的普通攻击“迅刃连斩”，是一套衔接流畅的近战连
想在《迷你世界》中解锁智能芯片的全部潜力？掌握升级方法是关键一步。通过升级，芯片不仅能获得更强大的功能，还能显著提升自动化与创造体验。本指南将为您提供一套清晰、高效的升级方案，助您快速掌握核心技巧。 准备材料：精准收集 成功的升级始于充分的准备。您需要提前备齐以下核心资源：精铁锭、蓝色电能线、硅石以
《斗罗大陆：猎魂世界》于5月11日至18日限时开启“寻宝之旅”活动。玩家通过任务或礼包获取道具，掷点前进即可领取限定觉醒券、钻石等奖励。完成整圈可得固定资源，累计积分可兑换更多奖励；第16圈起奖励品质提升，整体效率优化。活动门槛低、回报高，无需强制消费，适合各类玩家参与。
全新秘境“龙骧御六合”开放高难度挑战，玩家需在悬浮石枷上协同维持平衡，应对雷霆与坠石冲击，移动石板可削弱伤害。后续Boss“独夫”登场时，部分队员需切入其内心，其余成员按提示执行阵列动作，全程考验队伍反应与协作能力。