在斯坦福大学附近的Verve Coffee Roasters咖啡馆里，一场改变科技行业轨迹的对话悄然展开。当时仍是博士生的Carina Hong与前meta AI研究员Shubho Sengupta意外相遇，这场持续数小时的讨论最终催生出估值3亿美元的AI数学公司Axiom Math。
这场引发连锁反应的对话发生在2024年秋季。当时Sengupta正在研究能编写软件测试的大语言模型，而Carina Hong则专注于数学与AI的交叉领域。两人碰撞出的思想火花让Carina做出惊人决定：从斯坦福大学退学，投身打造"AI数学家"的创业征程。这个决定得到Sengupta的响应，他随即以CTO身份加入新公司。
这家初创企业的核心团队堪称AI领域"全明星阵容"。CTO Shubho Sengupta曾主导meta FAIR团队开发OpenGo和CrypTen，参与Google Brain分布式训练系统研发，更是CUDA技术的早期开发者。数学发现负责人François Charton在2019年就率先探索Transformer解决复杂数学问题，最近刚推翻一个流传30年的数学猜想。研究科学家Hugh Leather则是深度学习代码生成的先驱，打造出首个编译器和GPU代码生成大模型。
Axiom Math的办公室充满学术气息，会议室以高斯、阿达·洛夫莱斯等数学巨匠命名。这种将数学研究置于核心地位的理念，吸引了包括前meta安全与公平性研究专家Aram Markosyan在内的顶尖人才。在meta以天价薪资争夺AI人才的背景下，Axiom Math凭借"用AI推动数学发现"的使命，成功组建起这支平均从业经验超过10年的技术团队。
公司成立仅数月就完成6400万美元种子轮融资，由B Capital领投，Greycroft、Madrona等机构跟投，估值飙升至3亿美元。这个速度让前a16z高管Jon Turow惊叹："世界上最难突破的不是数据或算力，而是推理能力的瓶颈。"前OpenAI高管William Fedus则认为，数学作为可验证环境，为AI发展提供了理想试验场。
创始人Carina Hong的学术履历同样耀眼。这位在广州长大的中美混血学者，是斯坦福数学博士与法学院双修生，曾获罗德奖学金在牛津大学攻读神经科学硕士，本科期间就在MIT主修数学物理双学位并发表9篇论文。2023年，她斩获全球数学本科生最高荣誉——摩根奖。在X平台发布的宣传视频中，这位24岁的CEO宣称："我们正在构建能自我改进的超级智能推理系统，起点是AI数学家。"
面对OpenAI和谷歌DeepMind在数学基准测试中的竞争，Carina Hong表现出独特见解。她认为国际数学奥林匹克竞赛等测试容易被"刷分"，无法体现真正的研究能力。Axiom Math选择另辟蹊径，专注训练能发现并解决全新数学问题的模型，其技术路线是将教科书、论文中的数学知识转化为程序化形式，通过严格验证确保解答正确性。
这家成立不到一年的公司已展现惊人潜力。B Capital在官方博客中称赞Carina"以惊人速度组建起人才密度极高的团队"。随着meta等科技巨头持续流失关键AI人才，Axiom Math凭借独特的学术使命和研发氛围，正在成为顶尖技术人才的新选择。
