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