量子位
·
知名数学家辞职投身AI创业：老板是00后华人女生
💡
原文中文，约3500字，阅读约需9分钟。
📝
内容提要
知名数学家小野肯辞去终身教职，加入学生洪乐潼创办的AI公司Axiom，专注于开发数学问题解决的AI。Axiom已解决多个数学难题，吸引了众多顶尖人才，师生合作有望推动数学与AI的结合。
🎯
关键要点
- 知名数学家小野肯辞去终身教职，加入学生洪乐潼创办的AI公司Axiom。
- Axiom专注于开发解决数学问题的AI，已解决多个数学难题。
- 小野肯将担任Axiom的创始数学家，推动AI模型性能提升。
- 小野肯曾对AI持怀疑态度，但在研讨会后意识到AI提供了新的数学解决途径。
- 洪乐潼是Axiom的创始人，拥有出色的数学背景和成就。
- Axiom的目标是为量化和对冲基金开发解决实际数学问题的AI。
- Axiom在数学界表现突出，解决了多个重要的数学问题。
- Axiom吸引了众多顶尖人才，正在推动数学与AI的结合。
❓
延伸问答
小野肯为什么辞去终身教职加入Axiom？
小野肯辞去终身教职是因为他意识到AI提供了新的数学解决途径，并希望参与AI与数学的结合。
Axiom公司的主要目标是什么？
Axiom的主要目标是为量化和对冲基金开发能够解决实际数学问题的AI。
洪乐潼的背景是什么？
洪乐潼是Axiom的创始人，拥有斯坦福数学博士背景，是IMO金牌得主，并曾获得多项数学奖项。
小野肯在Axiom的角色是什么？
小野肯在Axiom担任创始数学家，负责推动AI模型的性能提升和设计数学问题。
Axiom在数学界的表现如何？
Axiom在数学界表现突出，成功解决了多个重要的数学问题，包括Erdős问题#124和#481。
小野肯对AI的初始看法是什么？
小野肯最初对AI持怀疑态度，认为AI在数学领域的领先优势正在缩小。
➡️
