00后潮汕天才少女老板，“挖角”世界级顶尖数学家！《华尔街日报》都惊了

Core Insights - Ken Ono, a renowned mathematician, has resigned from his tenured position at the University of Virginia to join the AI startup Axiom Math in Silicon Valley [1][3][6] - Axiom Math, co-founded by Ono's former student Carina Letong Hong, achieved a valuation of $300 million with no products or users just months after its inception and recently completed a financing round that raised approximately 640 million RMB, bringing its post-money valuation to 2 billion RMB [3][11] - The company aims to develop AI systems capable of solving complex mathematical problems for clients in finance, such as hedge funds and quantitative trading firms [9][10] Company Overview - Axiom Math was founded in March 2025 and focuses on creating AI that can address real-world mathematical challenges [7][20] - The startup has attracted top talent from the AI and mathematics fields, including Ken Ono and former Meta researcher François Charton, who is known for his work on neural networks and mathematical structures [10][11] - Axiom Math's innovative approach, termed "mathematics as a service," aligns with the growing demand for efficient and intelligent solutions in the financial market [10] Key Personnel - Ken Ono, a 57-year-old expert in number theory and modular forms, has made significant contributions to mathematics and has been recognized as a leading figure in the field [5][6] - Carina Letong Hong, the 24-year-old co-founder of Axiom Math, has an impressive academic background, having completed dual degrees in mathematics and physics at MIT and receiving numerous prestigious awards [12][16][18] Market Potential - Axiom Math's AI system is designed to learn logical reasoning and mathematical proof processes, enabling it to construct and verify formal proofs with accuracy [9][10] - The startup's technology could potentially revolutionize the way financial institutions approach complex mathematical problems, reducing the need for large technical teams [10][11] - If successful, Axiom Math's innovations could mark a significant breakthrough in both mathematics and technology, akin to a "Deep Blue moment" for the field [20][21]