公司融资与估值 - 公司Axiom Math于国庆假期完成首轮约4.6亿人民币（6400万美元）融资 [1][3] - 融资后公司投后估值达到20亿人民币（3亿美元） [1][3] - 领投方为B Capital，参与机构包括Greycroft、Madrona和Menlo Ventures [3] 公司背景与团队 - 公司成立于2025年3月，定位为“数学AI”创业公司，旨在打造解决实际数学问题的人工智能系统 [4] - 公司全职人员仅10名，但团队成员均为行业顶尖人才，多数核心员工来自Meta [5][7] - 团队核心成员包括前Meta FAIR团队负责人Shubho Sengupta担任CTO，以及曾在Meta负责大语言模型数学研究的François Charton等 [5] 创始人背景 - 公司创始人洪乐潼为00后潮汕人，拥有麻省理工本科、牛津硕士、斯坦福博士（退学）的教育背景 [1][9][10][12] - 创始人自幼展现数学天赋，是广东奥数省队成员，曾获摩根奖、罗德奖学金等多项顶级荣誉 [12] - 公司创立源于2024年秋创始人与前Meta研究员Shubho Sengupta在咖啡馆的交流，两人决定共同创业 [14][16] 技术与商业模式 - 公司核心技术是打造能像数学家一样构建和验证形式化证明的AI系统，保证结果的准确性和严谨性 [4] - 商业模式为“数学即服务”，主要客户为对冲基金、量化交易机构，为其提供复杂数学问题的快速解决方案 [4][5] - 公司技术理念是将教科书、论文中的英文数学内容转化为程序化知识，最终目标是打造能自我改进的超级智能推理系统，甚至提出新数学猜想 [18][19] 市场关注与发展阶段 - 公司在尚未推出任何产品（0产品，0用户）的情况下便获得巨额融资，并在硅谷和国内创投圈引发广泛关注 [7] - 此次融资的完成标志着这家成立不足一年的公司正式跻身“资本竞速”赛道 [7]