新智元报道
【新智元导读】传奇数学家Ken Ono辞去弗吉尼亚大学终身教职，加入学生Carina Hong创办的AI初创公司Axiom Math，致力于打造“AI数学家”。这一决定源于他在一次研讨会上目睹AI在数学研究中的巨大潜力。
57岁的数学教授Ken Ono近日宣布辞去弗吉尼亚大学终身教职，追随其24岁的学生Carina Hong投身AI创业，目标是构建“数学超级智能”。
Ken Ono是全球最具影响力的数学家之一，长期在顶尖高校任教。他曾公开调侃AI为“人工神话”，自称“NI”（Naturally Intelligent）。如今，他选择将“天生智能”与人工智能融合，举家迁往硅谷，加入由学生创立的Axiom Math。
Ken Ono与Axiom Math创始人Carina Hong
推动数学超级智能的人
2024年，仍在斯坦福攻读博士的Carina Hong在一次咖啡馆讨论中萌生创办Axiom Math的想法。这位年轻数学天才的成长轨迹堪称非凡。
出生于广州的Carina自幼热爱数学，接受奥数训练并在激烈竞争中脱颖而出。她坦言：“奥数带来多巴胺刺激，但研究是不断撞墙——我喜欢那种痛苦。”
Carina Hong在麻省理工学院
她在MIT三年完成本科学业，荣获美国本科数学最高奖——摩根奖，并获得罗德奖学金赴牛津深造，攻读神经科学硕士，期间涉足深度学习研究。随后转入斯坦福，同时攻读法律博士与数学博士。
在斯坦福期间，她结识前Meta AI科学家Shubho Sengupta，共同探讨AI与数学融合的可能性。受AMD CEO苏姿丰“奔向最难问题”的启发，她决定挑战“用AI做数学”这一高难度方向。
2024年夏天，Axiom Math完成6400万美元种子轮融资，估值达3亿美元，随即Carina退学全职创业，Sengupta出任CTO。
“Axiom”意为“公理”，象征数学体系的基石。公司目标是开发能自主推理、提出新问题并形式化证明的“AI数学家”，而非仅提供答案的工具。
Carina认为，数学是通向超级智能的理想试验场，未来有望攻克百年难题甚至提出全新猜想。投资方B Capital称她为“推动数学超级智能的人”。
尽管AI泡沫引发担忧，越来越多数学家开始认可AI在推动数学突破方面的潜力。
非典型数学家
Ken Ono的经历同样充满传奇色彩。1968年生于费城，因家庭压力未完成高中学业，但仍考入芝加哥大学，并在父亲（著名数学家）影响下走上数学之路。
他曾执教于威斯康星大学、埃默里大学，2019年起任弗吉尼亚大学数学系教授。美国数学学会前主席Ken Ribet称其为“数学界的传奇”。
Ken Ono以深入研究印度数学奇才拉马努金理论著称，培养出10位摩根奖得主，Carina Hong正是其中之一。
他不局限于学术研究，积极将数学应用于体育与公众传播。他曾为UVA游泳队及奥运冠军提供数据分析支持，并参与制作传记电影《知无涯者》，担任联合制片人与数学顾问。
《知无涯者》（The Man Who Knew Infinity）电影剧照
Ken Ono也是史上少数出现在啤酒广告中的数论学家，曾出演米勒淡啤超级碗广告。
这种跨界特质使他最终选择离开 academia，投身AI创业。这一转变，始于一场改变他认知的研讨会。
一场研讨会改变了他的数学观
Ken Ono长期关注AI对数学的影响，起初更多出于好奇而非危机感。他认为AI擅长解决已知问题，但在需要直觉与创造力的纯数学领域仍显不足。
然而，2024年春季的一场AI测试研讨会彻底动摇了他的判断。作为受邀的30位数学家之一，他提交了研究级难题以检验AI模型能力。
爱穿夏威夷衬衫的Ken Ono在数学界极具个性
研讨结束后，他感到强烈冲击：自己在某些领域的优势正迅速消失，甚至在非专长方向已被AI超越。
此后数月，他形容自己“在哀悼原有的身份”。但他逐渐意识到，AI并非替代者，而是开启了一种新的数学研究范式。
“过去我有学生和同事合作，现在AI成了新搭档。”他开始每晚花一两小时与AI探讨数学，“半夜睡不着就开着手机聊天，发现它们水平高得离谱。”
此外，美国高等教育面临政治压力，研究经费不确定性增加，也促使他做出离开的决定。
在他看来，加入Axiom Math是将数学影响力扩展至校园之外的新契机。“作为纯数学家，能参与改变世界运作方式的机会极为罕见。”
Axiom的第15号员工
决定投身AI后，Ken Ono第一时间联系了Carina Hong。此时Axiom Math成立不久，正值Google DeepMind与OpenAI的AI模型在国际数学奥林匹克竞赛中夺金，引发数学界震动。
由Robinhood CEO Vlad Tenev联合创办的Harmonic等同类项目也受到关注，显示“数学超级智能”正逐步逼近。
Carina迅速组建精英团队，成员包括曾破解百年数学难题的Francois Charton、代码生成领域先驱Hugh Leather等前Meta FAIR实验室专家。
Axiom Math的使命吸引了Ken Ono。他举家搬迁至硅谷，成为公司第15名员工，担任创始数学家。
他的核心任务是推动AI模型极限：设计需深刻理解数学原理才能解答的问题，建立评估基准，为AI探索路径绘制“航海图”。
“要发现新大陆，必须先知道我们身处何地，哪些区域已被探索。”
Carina表示，Ken Ono是众多数学青年的偶像，他在Axiom与许多同龄顶尖学者共事。公司吸引他们的，正是用AI推动数学前沿的宏大愿景。
“即便抵达超级智能，仍有数学问题无法解决，”Ken Ono说，“但我仍会继续寻找答案。”
正是这份对未知的执着，驱动着他与全球顶尖人才在Axiom Math追寻属于他们的“传世之作”。