量子位
·
知名数学家辞职投身AI创业：老板是00后华人女生
内容提要
知名数学家小野肯辞去终身教职，加入学生洪乐潼创办的AI公司Axiom，专注于开发数学问题解决的AI。Axiom已解决多个数学难题，吸引了众多顶尖人才，师生合作有望推动数学与AI的结合。
关键要点
-
知名数学家小野肯辞去终身教职，加入学生洪乐潼创办的AI公司Axiom。
-
Axiom专注于开发解决数学问题的AI，已解决多个数学难题。
-
小野肯将担任Axiom的创始数学家，推动AI模型性能提升。
-
小野肯曾对AI持怀疑态度，但在研讨会后意识到AI提供了新的数学解决途径。
-
洪乐潼是Axiom的创始人，拥有出色的数学背景和成就。
-
Axiom的目标是为量化和对冲基金开发解决实际数学问题的AI。
-
Axiom在数学界表现突出，解决了多个重要的数学问题。
-
Axiom吸引了众多顶尖人才，正在推动数学与AI的结合。
延伸解读
师生合作的潜力
小野肯与洪乐潼的师生关系转变为创业伙伴，展现了学术界与产业界的紧密结合。这样的合作不仅能推动AI在数学领域的应用，还可能激发更多年轻学者投身于创新创业，形成良性循环。
AI与数学的交汇
Axiom的目标是开发能够解决实际数学问题的AI，这一方向在金融领域尤为重要。随着量化交易的兴起，能够快速解决复杂数学问题的AI将成为金融机构的重要工具，提升其竞争力。
从怀疑到参与的转变
小野肯最初对AI持怀疑态度，但在研讨会后意识到AI的潜力。这一转变反映了学术界对新技术的适应过程，强调了持续学习和开放心态的重要性，尤其是在快速发展的科技领域。
延伸问答
小野肯为什么辞去终身教职加入Axiom？
小野肯辞去终身教职是因为他意识到AI提供了新的数学解决途径，并希望参与AI与数学的结合。
Axiom公司的主要目标是什么？
Axiom的主要目标是为量化和对冲基金开发能够解决实际数学问题的AI。
洪乐潼的背景是什么？
洪乐潼是Axiom的创始人，拥有斯坦福数学博士背景，是IMO金牌得主，并曾获得多项数学奖项。
小野肯在Axiom的角色是什么？
小野肯在Axiom担任创始数学家，负责推动AI模型的性能提升和设计数学问题。
Axiom在数学界的表现如何？
Axiom在数学界表现突出，成功解决了多个重要的数学问题，包括Erdős问题#124和#481。
小野肯对AI的初始看法是什么？
小野肯最初对AI持怀疑态度，认为AI在数学领域的领先优势正在缩小。
