在斯坦福大学附近的Verve Coffee Roasters咖啡馆里，一场改变科技版图的对话悄然展开。2024年秋季，数学博士生Carina Hong与前meta AI研究员Shubho Sengupta就人工智能突破数学边界的可能性展开深入探讨，这场数小时的头脑风暴最终催生出估值3亿美元的AI数学公司Axiom Math。
这位同时攻读斯坦福数学博士与法学博士的天才少女，在完成与Sengupta的对话后，毅然从象牙塔走向创业战场。Axiom Math的核心理念是将数学教材、学术论文中的知识转化为可验证的程序，通过构建自我改进的超级智能推理系统，最终实现AI自主提出数学猜想的目标。公司成立短短数月便完成6400万美元种子轮融资，由B Capital领投，估值突破3亿美元大关。
团队阵容堪称AI领域"全明星"：CTO Shubho Sengupta曾主导meta FAIR团队的OpenGo与CrypTen开发，拥有Google Brain分布式训练系统研发经验，更是CUDA早期开发者；数学发现负责人François Charton在2019年便开创性地将Transformer应用于复杂数学问题，近期刚推翻一个流传30年的数学猜想；研究科学家Hugh Leather则是深度学习代码生成的先驱，打造出首个编译器大语言模型。
这家初创公司的会议室以高斯、阿达·洛夫莱斯等数学巨匠命名，营造出独特的学术氛围。前OpenAI高管William Fedus指出，数学作为可验证的研究环境，为AI突破提供了理想试验场。尽管面临OpenAI、DeepMind等巨头的竞争压力，Axiom Math选择避开基准测试的"刷分"游戏，专注开发能解决全新数学问题的模型。
创始人Carina Hong的学术履历堪称传奇：这位广州长大的中美混血学者，本科阶段在麻省理工学院完成数学与物理双学位，发表9篇同行评审论文，2023年斩获全球数学本科生最高荣誉摩根奖；作为罗德学者在牛津大学获得神经科学硕士学位后，又在斯坦福同时攻读数学博士与法学博士，并获得骑士-亨内西奖学金资助。
在meta以天价薪资争夺AI人才的背景下，Axiom Math凭借"用AI推动数学发现"的使命吸引了大批顶尖研究者。核心团队成员Aram Markosyan曾负责meta的安全与公平性研究，他表示公司对数学AI的专注态度是吸引他的关键因素。这种将学术理想置于商业利益之上的价值观，正在重塑科技行业的人才流动格局。
