AI数学家诞生：传奇数学家Ken Ono加盟Axiom Math

著名数学家Ken Ono辞去弗吉尼亚大学终身教职，加入学生Carina Hong创立的Axiom Math，共同探索「AI数学家」的无限可能。

近日，57岁的数学教授Ken Ono宣布放弃终身教职，追随24岁的学生Carina Hong的脚步，投身「数学超级智能」的浪潮。

作为全球顶尖的数学家之一，Ken Ono在弗吉尼亚大学执教多年，而硅谷的AI初创公司对他来说则是一个全新的世界。

此前，他还在讲座上调侃AI技术的「神话」，自称为NI（Naturally Intelligent，天生智能）。

如今，他选择将NI与AI结合，举家搬迁至硅谷，加入Carina Hong的AI初创公司Axiom Math。

Ken Ono与Axiom Math创始人Carina Hong

推动数学超级智能的人

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系统。

她认为数学是打造超级智能的完美试验场，希望Axiom Math未来能攻克困扰人类数百年的难题，甚至提出全新的数学猜想。

非典型数学家

与天才学生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找到「另一种做数学的方式」

Ken Ono一直关注AI对数学领域的影响。

他更多是出于好奇而非恐惧。

他发现AI在认知任务、解决已知问题上表现惊人，但在需要直觉与抽象思维的创造力部分仍显笨拙。