半夜被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][2][4][7] - The decision was influenced by Ono's realization of AI's potential in mathematical research during a seminar [42][48] Group 1: Ken Ono's Background and Transition - Ken Ono is recognized as one of the leading mathematicians globally, having previously taught at the University of Virginia and other prestigious institutions [4][33] - His career includes significant contributions to the study of Indian mathematician Srinivasa Ramanujan and mentoring numerous award-winning students [33][34] - The shift to Axiom Math represents a departure from traditional academia to a more innovative environment focused on AI [40][62] Group 2: Carina Hong and Axiom Math - Carina Hong, a 24-year-old PhD student at Stanford, founded Axiom Math with the vision of creating an AI capable of reasoning and discovering new mathematical problems [8][25] - She has an impressive academic background, having graduated from MIT and received prestigious awards such as the Morgan Prize and Rhodes Scholarship [15][16] - Axiom Math successfully raised $64 million in seed funding, achieving a valuation of $300 million shortly after its inception [24] Group 3: Axiom Math's Mission and Team - Axiom Math aims to tackle long-standing mathematical challenges and potentially propose new mathematical conjectures using AI [26][79] - The startup has attracted a team of top AI and mathematics experts, including former researchers from Meta's FAIR lab [71][74] - Ken Ono's role at Axiom Math involves pushing the limits of the company's AI models and designing complex mathematical problems for evaluation [75][76]