公司核心事件 - 世界顶尖数学家小野肯（Ken Ono）辞去弗吉尼亚大学终身教授职位，全职加入AI初创公司Axiom Math，担任创始数学家[1][6] - 小野肯加入的Axiom Math由其24岁的学生洪乐潼（Carina Letong Hong）于2025年3月创办[3][7] - 小野肯的加入标志着一位曾对AI持怀疑态度的顶尖学者转向产业界，旨在推动AI模型在解决复杂数学问题上的性能极限[5][6][11] 公司业务与定位 - 公司定位于“数学AI”，核心目标是打造能解决实际数学问题的人工智能系统，旨在成为“AI数学家”[7][20] - 商业模式为“数学即服务”，主要为对冲基金、量化交易机构等客户提供复杂数学问题的快速解决方案[9][10] - 公司AI系统通过学习严格的逻辑推理和数学证明过程，能够像数学家一样构建和验证形式化证明，保证结果的准确性和严谨性[9] 公司融资与估值 - 2024年6月，公司在0产品、0用户的情况下实现了3亿美元估值[3][11] - 2024年10月，公司完成首轮约4.6亿人民币（约6400万美元）融资，投后估值达20亿人民币[3][11] - 投资人包括B Capital等顶级风险投资机构[11] 公司团队与技术 - 公司团队规模小但精英化，仅有10余名全职人员，小野肯是第15位员工[10][11] - 核心员工多来自Meta等顶尖机构，包括前Meta研究员François Charton，其研究被视为让神经网络理解数学结构的先驱成果[10][11] - 创始人洪乐潼认为当前大模型在数学测试中存在“作弊”嫌疑（如准确率96%但展示推理过程后得分率降至5%），公司旨在攻克让AI自主推理甚至提出猜想的难题[20] 创始人背景 - 创始人洪乐潼年仅24岁，拥有非凡的数学天赋和学术成就，曾就读于麻省理工学院（MIT），三年完成数学与物理双学位并额外修读20门高阶课程[12] - 她在本科阶段即为小野肯教授的学生，在其指导下解决了拉马努金理论中的部分猜想，并获得拉马努金精神奖学金[16] - 她获得了包括摩根奖、Schafer数学卓越奖、牛津大学罗德奖学金在内的多项顶级荣誉[16] - 在斯坦福大学同步攻读数学博士与法学博士期间，她选择退学，与Meta AI研究员Shubho Sengupta共同创立Axiom Math[18][20]