以下文章来源于投资界 ，作者刘博 王露 投资界 . 清科创业旗下创业与投资资讯平台 创投圈的00后面孔越来越多了。 投资界获悉，Axiom Math正式完成首轮6400万美元 （约合人民币4.6亿元） 融资，由B Capital领投，Greycroft、Madrona和Menlo Ventures等机构 参与，投后估值3亿美元 （约合人民币20亿元） 。 缔造Axiom的正是 00后洪乐潼（Carina Hong） ——在广州出生长大，她曾就读于著名的华南师大附中，多次拿下奥数竞赛奖牌。后考入麻省理工学 院，硕士毕业于牛津大学，又来到斯坦福大学攻读博士学位。 (图片来源：麻省理工学院) 颇为戏剧性的是，Axiom的诞生来自于一次咖啡馆的交流。 悄然间， 00后创始人正在大举登上AI舞台。 10个人，完成首轮融资，估值20亿 Axiom是谁？ 官网显示，这家崭露头角的AI公司，定位为 "以AI数学家为起点，打造一个能够自我提升的超级智能推理系统"。 换言之，这是一个可以解决复杂数学问题的模型，可以生成为获得答案所采取的不同步骤的详细推理，同时进行验证。 具体而言， Axiom的想法是将教科书、论文和期刊中的英文 ...

Core Viewpoint - The article discusses the advancements in AI's ability to solve mathematical problems, highlighting the competitive landscape among various teams and projects in this domain [1][2]. Group 1: AI Developments - Recent releases such as DeepSeek Prover V2, Terence Tao's AI math livestream, and Google's AlphaEvolve indicate significant progress in AI's mathematical capabilities [1]. - The FormalMATH benchmark test has gained attention for evaluating AI's performance in automated theorem proving [2]. Group 2: Upcoming Events - A livestream event is scheduled for May 29 at 20:00, featuring discussions on the frontier exploration of formal proofs by large language models, with participation from various project teams [2][4]. - Notable speakers include researchers and experts from institutions like the University of Edinburgh and Hong Kong Chinese University, as well as contributors from the 2077AI initiative [3][4]. Group 3: Community Engagement - The article encourages community interaction through comments and participation in AI discussions, promoting a collaborative environment for sharing insights and developments in AI [4][5].