知名数学家小野肯辞去终身教职，加入学生洪乐潼创办的AI公司Axiom，专注于开发数学问题解决的AI。Axiom已解决多个数学难题，吸引了众多顶尖人才，师生合作有望推动数学与AI的结合。
完成下面两步后，将自动完成登录并继续当前操作。
