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

大模型数学推理能力发展 - 5月DeepSeek Prover V2发布 陶哲轩AI数学直播举行 谷歌AlphaEvolve推出 显示大模型解数学题能力成为衡量AI智能天花板的关键指标[1] - FormalMATH基准测试近期发布 旨在系统评估AI数学推理能力 自动定理证明表现与技术路径成为行业焦点[2] 行业技术研讨活动 - 5月29日20:00举办大语言模型形式化证明前沿探索直播 由2077AI开源基金会与多个项目团队联合发起[2] - 参与嘉宾包括DeepSeek Prover第一作者辛华剑 FormalMath项目郁昼亮 Kinima技术负责人王海明等7位学术与工业界专家[3] 行业生态互动 - 量子位策划AI主题征集活动 涵盖365行AI落地方案与一千零一个AI应用案例 鼓励分享AI产品新动向[4] - 量子位每日AI交流群开放加入 提供科技前沿进展每日更新服务[5]