知名数学家辞职投身AI创业：老板是00后华人女生

世界级数学家小野肯辞职加入AI初创公司Axiom，与学生洪乐潼共同推动AI在数学领域的应用。Axiom致力于开发能够解决复杂数学问题的AI模型，为量化和对冲基金提供支持。小野肯将负责指导模型优化及性能评估，利用其深厚的数学背景帮助AI系统更好地理解和解决数学难题，预示着AI技术在高阶数学推理方面的新突破。