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

Core Viewpoint - A prominent mathematician, Ken Ono, has left academia to join a Silicon Valley AI startup, Axiom, founded by his former student, Carina Letong Hong, who is a 24-year-old math prodigy [2][4][6]. Group 1: Ken Ono's Transition - Ken Ono, recognized as a leading scholar in number theory, has made a radical decision to leave his lifelong academic career to become a "founding mathematician" at Axiom [5][10]. - His role involves pushing the limits of AI models by designing complex mathematical problems that require deep understanding of mathematical principles [10][12]. - Initially skeptical about AI's capabilities, Ono's perspective shifted after attending a workshop where he realized AI models were advancing rapidly in areas he specialized in [14][21]. Group 2: Axiom's Ambitions - Axiom aims to develop AI that can solve real mathematical problems for quantitative and hedge fund companies, focusing on formal mathematical proofs [27][28]. - The company achieved a valuation of $300 million with no products or users, attracting significant investment from top venture capital firms [37][38]. - Axiom has recently made headlines by solving complex mathematical problems, including Erdős problems 124 and 481, showcasing its potential in the mathematical community [29][33]. Group 3: Carina Letong Hong's Background - Carina Letong Hong, the founder of Axiom, has an impressive academic background, having completed dual degrees in mathematics and physics at MIT in just three years and winning multiple prestigious awards [40][44][47]. - She was inspired by her experiences in competitive mathematics and has a strong commitment to tackling difficult mathematical challenges [43][51]. - Hong's leadership and vision have positioned Axiom as a promising player in the intersection of mathematics and AI, earning her recognition as one of Forbes' 30 Under 30 in AI [51][53].