著名教授Ken Ono加入AI初创公司Axiom，担任创始数学家

12月4日，AI初创公司Axiom Math宣布著名数学家、弗吉尼亚大学前教授小野健Ken Ono加入公司，担任创始数学家（Founding Mathematician）职位。

Axiom Math致力于打造“AI数学家”——能推理、发现并证明数学问题的AI，公司已融资6400万美元，核心团队包括多位来自Meta等科技巨头，公司已融资6400万美元，核心团队包括多位来自Meta等科技巨头。此外，公司宣布其模型在没有人类干预的情况下，自动完成了两个数学猜想的证明——埃尔德什问题（Erdős Problem）中的 481 号和 124 号。

年仅24岁的创始人洪乐潼（Carina Hong）本科毕业于麻省理工学院，前往斯坦福攻读法学与数学双博士，后辍学创业。她也曾是Ken Ono的学生。

Ken Ono是位举足轻重的数学家，指导过多位摩根奖得主。曾在威斯康星大学和埃默里大学任教数十年，2019年加入弗吉尼亚大学。对于AI，Ken Ono曾认为其难以替代人类在纯数学中的创造力。但去年参与一次AI模型测试后，他被其在数学领域展现出的能力震撼。“在一些不擅长的数学领域，AI已经让我大吃一惊了。”此后，他几乎每晚与AI模型“讨论”数学问题。

促使他离开学术界的另一因素，是行政事务日益挤压研究时间。而成为Axiom的第 15 名员工，让他有机会“在黑板之外改变世界”。Ken Ono强调加入Axiom是“探索精神驱使我前行。”他说，“即使未来出现超级智能，仍会有数学问题等待人类解答。”

Axiom的目标不仅是破解百年难题，更希望将数学AI应用于软件验证、金融工程、物流优化等商业场景。“研究数学很难，用AI做数学更难。”洪乐潼表示，但这正是值得挑战的方向。