2025年，世界级数学家小野肯辞去弗吉尼亚大学终身教职，全职加入硅谷AI初创公司Axiom，担任创始数学家。这家公司由他的学生、24岁的华人女生洪乐潼创立，专注于开发解决实际数学问题的AI技术。洪乐潼是斯坦福数学博士辍学生，曾获IMO金牌及多项数学荣誉。Axiom近期解决了Erdős问题#124和#481，在数学界引发轰动。公司成立不久即获3亿美元估值，吸引了顶尖专家加盟，包括前Meta研究员François Charton。师生携手创业，目标是破解困扰人类数世纪的数学难题，推动AI在数学领域的突破。