公司融资与估值 - Axiom Math完成首轮6400万美元（约合人民币4.6亿元）融资，由B Capital领投，Greycroft、Madrona和Menlo Ventures等机构参与 [2] - 公司投后估值达到3亿美元（约合人民币20亿元） [2] - 公司核心团队目前仅有10名全职员工 [6][9] 公司技术与业务模式 - 公司定位为以AI数学家为起点，打造能够自我提升的超级智能推理系统 [6] - 核心模型旨在解决复杂数学问题，能生成详细的推理步骤并进行验证 [7] - 技术路径是将教科书、论文和期刊中的英文数学内容转换为程序化知识，使AI能解决并验证数学问题 [7] - 未来研究场景有望拓展至金融建模、芯片架构及量化交易等领域 [7] - 创始人设想该模型未来或能提出新的数学猜想，从而产生全新知识 [8] - 公司认为当前正站在一场由人工智能、编程语言和数学三大支柱推动的数学复兴门槛上 [8] 创始人及团队背景 - 创始人洪乐潼（Carina Hong）为00后，24岁，在广州出生长大，曾就读于华南师大附中并多次获得奥数竞赛奖牌 [2][12] - 其教育背景包括麻省理工学院数学和物理双学位、牛津大学神经科学硕士，并曾进入斯坦福大学攻读数学与法学博士 [2][13] - 学术成就包括获得Schafer数学卓越奖（每年仅颁发给一名本科女生）以及北美数学本科生最高荣誉摩根奖（第五位获此殊荣的女生） [13] - 2022年底获得牛津大学罗德奖学金，成为当年仅有的四名中国获奖者之一 [13] - 公司CTO Shubho Sengupta曾领导Meta FAIR团队，开发OpenGo和CrypTen，并是早期CUDA技术专家之一 [11] - 团队其他成员包括前Meta人工智能研究科学家François Charton和Hugh Leather，他们在AI与数学交叉领域有深厚积累 [11] 行业趋势：00后创始人崛起 - 00后创始人正集体登上AI舞台，成为创投圈新面孔 [5][15] - 案例包括麻省理工00后创立的Sola Solutions，总计完成2100万美元（约合人民币1.5亿元）融资 [15] - AI编程独角兽Anysphere完成9亿美元（约合人民币65亿元）融资，估值达90亿美元，由麻省理工毕业生创立 [16] - AI招聘网站Mercor完成1亿美元B轮融资，估值达20亿美元，由三位从哈佛及乔治敦大学退学的00后创立 [16] - 国内案例包括清华三位00后创立的机器人公司零次方，完成亿元级融资 [17] - 投资人分析认为，在AI创业潮中，00后创始人因对新事物认知触感更强、没有历史包袱而具备优势 [17]