公司融资与估值 - 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]

公司融资与估值 - Axiom Math完成首轮6400万美元（约合人民币4.6亿元）融资，投后估值达3亿美元（约合人民币20亿元）[3] - 公司核心团队目前仅有10名全职员工[5][7] 公司技术与定位 - 公司定位为“以AI数学家为起点，打造一个能够自我提升的超级智能推理系统”，核心是解决复杂数学问题的模型[6] - 技术路径是将教科书、论文和期刊中的英文数学内容转换为程序化知识，使AI能解决数学问题并进行验证[6] - 未来研究场景有望拓展至金融建模、芯片架构及量化交易等领域，目标之一是提出新的数学猜想以产生全新知识[6] - 当前AI大模型在数学证明过程展示上存在短板，例如部分模型在要求展示证明过程时准确率从96%骤降至5%[7] - 公司认为人工智能、编程语言和数学三大支柱正共同推动一场数学复兴[7] 创始人背景与团队构成 - 创始人洪乐潼（Carina Hong）为00后，24岁，来自广州，拥有麻省理工学院数学和物理双学位、牛津大学神经科学硕士学位，并在斯坦福大学攻读数学与法学博士[3][12][13] - 她在高中时期是数学奥林匹克省队成员，本科期间获得摩根奖等多项学术荣誉，并于2022年获得罗德奖学金[12] - 公司CTO Shubho Sengupta曾领导Meta FAIR团队，开发过OpenGo和CrypTen，并参与Google分布式训练系统及早期CUDA技术开发[9] - 核心团队成员包括多位来自Meta的AI专家，如François Charton（探索Transformer技术应用于复杂数学问题）和Hugh Leather（开发用于编译器和GPU代码生成的大语言模型）[10] 行业趋势与同类案例 - 00后创始人正集体登上AI舞台，案例包括Sola Solutions（由22岁华裔女生Jessica Wu等创立）完成总计2100万美元融资[15] - Anywhere公司完成9亿美元融资，估值达90亿美元，由四位年轻创始人掌舵，其产品Cursor改变了编程方式[15] - AI招聘网站Mercor完成1亿美元B轮融资，估值20亿美元，创始人为三位从哈佛及乔治敦大学退学的00后[16] - 国内案例包括清华00后创立的机器人公司零次方完成亿元级融资，以及灵初智能、UniX AI等由00后创立的AI公司获得VC关注[16]