半夜被AI“吓醒”，57岁导师投奔24岁华人女学霸，打造“AI数学家”

Core Insights - Ken Ono, a renowned mathematician, has resigned from his tenured position at the University of Virginia to join Axiom Math, a startup founded by his student Carina Hong, to develop an "AI mathematician" [1][3][28] - The decision was influenced by Ono's realization of AI's potential in mathematical research during a seminar, leading him to explore new ways of doing mathematics [25][27] Company Overview - Axiom Math aims to create an AI system capable of reasoning about existing problems, discovering new ones, and validating its work through formal proofs, rather than merely providing answers [17] - The company has successfully raised $64 million in seed funding, achieving a valuation of $300 million shortly after its inception [17] Key Personnel - Carina Hong, the 24-year-old founder of Axiom Math, has an impressive academic background, including awards such as the Frank and Brennie Morgan Prize and the Rhodes Scholarship [9][10][17] - Ken Ono, now a founding mathematician at Axiom Math, is recognized for his contributions to mathematics and his unique approach to integrating AI into the field [22][28] Industry Context - The potential of AI in mathematics is increasingly recognized, with mathematicians optimistic about breakthroughs that AI could facilitate, despite concerns about an AI bubble [18] - Axiom Math's mission to leverage AI for mathematical discovery positions it at the forefront of a growing intersection between artificial intelligence and mathematical research [31]