著名数学家小野健（Ken Ono ）已离开学术界，加入由他以前的学生 洪乐潼 (Lattong Hong，也被称作 Carina Hong) 创办的名为 Axiom Math 的人工智能（AI）初创公司。 主要情况如下： 公司名称： Axiom Math。 创始人： 洪乐潼（Carina Hong），年仅 24 岁。她曾是 Ken Ono 在弗吉尼亚大学（University of Virginia, UVA）指导的本科研究项目（REU）学生。 小野健（Ken Ono ）的职位： 他担任 Axiom Math 的“创始数学家”（Founding Mathematician）。 公司的目标： 该公司致力于打造一个“AI数学家”（AI mathematician），目标是研究人工智能在基础数学应用方面的潜力。 小野健（Ken Ono ）的学术背景： 他此前是弗吉尼亚大学的 Marvin Rosenblum 数学教授，并身兼多个其他职务，目前他处于停薪留职（extended leave of absence）状态。 行业影响： 小野健（Ken Ono ）是当今世界杰出的数学家之一，他“出走”学界加入一家初创公司，在学术界和科技界引起了广泛关注。