知名数学家小野肯辞去终身教职，加入学生洪乐潼创办的AI公司Axiom，专注于开发数学问题解决的AI。Axiom已解决多个数学难题，吸引了众多顶尖人才，师生合作有望推动数学与AI的结合。

中国女孩洪乐潼创立的AI公司Axiom专注于数学问题解决，目标估值为3-5亿美元。她是斯坦福大学的数学博士，曾获多项奖学金，计划为对冲基金提供数学模型支持。