速递｜斯坦福90后中国数学博士的AI公司，未出产品先融资5000万美元，B Capital正洽谈领投

Core Viewpoint - The article discusses the emergence of AI startups focused on solving complex mathematical problems, highlighting the efforts of Carina Hong and her company Axiom, which aims to develop AI capable of formal mathematical proofs and is currently seeking $50 million in funding at a valuation of $300 million to $500 million [2][3]. Group 1: Company Overview - Axiom, founded by Carina Hong, is in discussions to raise $50 million to develop AI for solving mathematical problems, targeting a valuation between $300 million and $500 million [2][3]. - The company plans to sell its final product to hedge funds and quantitative trading firms that require quick solutions to complex mathematical issues related to asset valuation and stock markets [3]. Group 2: Market Context - Despite warnings from investors about the timing for developing autonomous models, there remains a willingness to invest in AI-related business concepts at high valuations [3]. - Other AI companies, such as Harmonic, founded by Vlad Tenev, are also pursuing similar goals of creating models capable of solving higher-level mathematics, indicating a competitive landscape in this niche [6]. Group 3: AI Performance and Challenges - OpenAI's o4-mini has recently outperformed human mathematicians in a math assessment, while Google's AI has shown significant potential in solving complex geometry problems [4]. - However, leading AI developers still struggle with basic mathematical tasks, indicating limitations in current AI capabilities despite advancements [3][4].