00后中国女孩0产品创业实现3亿估值：斯坦福数学博士的AI量化野心

Core Viewpoint - Axiom, a startup founded by Carina Letong Hong, aims to develop AI models that solve real mathematical problems for quantitative and hedge fund companies, targeting a valuation of $300 million despite having no products or users yet [1][4][6]. Company Overview - Axiom's primary focus is on creating AI capable of addressing complex mathematical issues in finance, particularly for hedge funds and quantitative trading firms [8][9]. - The company is currently in the process of raising $50 million in funding, with an estimated valuation between $300 million and $500 million [4][13]. Founder Background - Carina Letong Hong has an impressive academic background, having completed dual degrees in mathematics and physics from MIT in three years, and is currently pursuing a PhD in mathematics at Stanford [5][19]. - She has published multiple research papers in prestigious journals and received the Rhodes Scholarship, highlighting her strong credentials in mathematics [5][23]. Technology Focus - Axiom's technology will utilize formal mathematical proofs and established theorems to validate mathematical statements, allowing the AI to construct and verify formal proofs with accuracy [7]. - The AI's ability to perform rigorous logical reasoning and mathematical proof construction is expected to provide significant value to its target clients in the finance sector [7][8]. Market Potential - The startup's offering is positioned to alleviate the need for hedge funds and quantitative trading firms to build extensive technical teams, thereby streamlining their operations [9]. - The interest from investors, including B Capital, indicates a strong belief in the potential of Axiom's technology and the founder's capabilities [12][15].