斯坦福天才少女退学创业，Meta AI大牛排队加入

　　2024年，斯坦福博士生Carina Hong与前Meta AI研究员的一次数小时对话，让她毅然辍学投身于打造“AI数学家”的梦想，创办Axiom Math并吸引到来自Meta等公司的顶尖AI人才加盟。Axiom Math首轮融资6400万美元后估值3亿美元。　

　　2024年，仍为斯坦福大学博士生的Carina Hong与前Meta的AI研究员Shubho Sengupta有过一次数小时的交谈。

　　在那次交谈中二人探讨了如何用AI来解决数学领域的难题。

　　这次谈话不久，Carina Hong选择从斯坦福退学创办了Axiom Math，目标是打造“AI数学家”，而Sengupta也加入了这家新创办的公司担任CTO。

　　近日，Carina Hong在X平台上发布了Axiom的宣传视频，称“我们正在打造一个能够自我改进的超级智能推理系统，起点是一个AI数学家。”

　　a16z前高管、投资人Jon Turow在Carina Hong的推文下留言祝贺：

　　“世界上最难的问题，不是数据或算力，而是推理本身的瓶颈。”

　　前OpenAI高管William Fedus认为数学是一个极好的可验证环境，他对于Axiom的快速进展十分乐观。

　　B Capital将24岁的Carina Hong称作一个“推动数学超级智能的人”。

　　2025年3月Carina Hong创立Axiom Math并担任CEO，Axiom Math核心员工中大多数来自Meta　

　　一次谈话，点燃创业梦想

　　2024年秋，仍在斯坦福大学攻读博士的Carina Hong在学校附近的Verve Coffee Roasters咖啡馆，偶然遇到了前Meta的AI研究员Shubho Sengupta，当时Sengupta正在研究能编写软件测试的大语言模型。

　　两人聊得十分投机。

　　在数小时的谈话中，他们共同探讨了AI是否有可能解决世界上最难的数学问题。

　　那次谈话后不久，Carina Hong便从斯坦福退学，创办了Axiom Math，立志打造一款“AI数学家”。

　　在Carina Hong看来，数学是打造超级智能的完美试验场。

　　Axiom Math的理念是将教科书、论文和期刊里的英文数学内容转化为程序化知识，这样AI不仅可以解决复杂的数学问题，还能通过严格验证来检验解答。

　　未来，Carina Hong希望“AI数学家”甚至能够提出全新的数学猜想。

　　据Axiom官网显示，该公司使命是“从AI数学家起步，打造自我改进的超级智能推理器”。

　　估值3亿美元，Meta大牛排队加入

　　Axiom Math成立短短几个月，便已完成了6400万美元的种子轮融资：由B Capital领投，Greycroft、Madrona和Menlo Ventures等风投参与。

　　融资后，Axiom Math估值已达3亿美元。

　　B Capital的官方博客文章中，将Carina Hong称作一个“推动数学超级智能的人”，并称赞她“以惊人的速度组建了一支人才密度极高的创始团队。”

　　Axiom Math的核心成员中，如Shubho、François Charton、Aram H. Markosyan均来自Meta。

　　Shubho Sengupta

　　Shubho Sengupta目前担任Axiom Math CTO，前文提到正是他与Carina Hong的一席谈话，促使了后者创办Axiom Math的想法。

　　Shubho Sengupta曾带领Meta FAIR团队开发OpenGo和CrypTen。

　　此前，他还参与了Google Brain关于分布式训练系统的研发。Shubho Sengupta还是最早一批CUDA开发者。

　　François Charton

　　早在2019年，François Charton已经率先探索Transformer在复杂数学问题上的应用，最近更是解决了一个延续百年的公开问题，推翻了一个流传30年的猜想。

　　François Charton表示，他将在Axiom Math负责数学发现：如何将AI应用于实际研究问题，而不是像数学奥林匹克那样将其用于已经解决的问题。

　　Hugh Leather

　　Hugh Leather在Axiom Math担任研究科学家。

　　Hugh Leather是最早将深度学习应用于代码生成的先驱之一，曾打造首个用于编译器和GPU代码生成的大语言模型。

　　Aram Markosyan

　　Aram Markosyan是一位曾负责Meta安全与公平性研究的AI科学家。

　　不到一年时间，Carina Hong为初创公司吸引到了上述一批资深科技老将。

　　就在Meta重金揽才的同时，也在持续流失关键AI人才。

　　Axiom Math核心团队的组建，正值Meta豪掷上亿美元薪资挖角OpenAI等前沿实验室人才的同时。

　　而Axiom吸引这些顶级AI研究员的，正是它的使命——用人工智能推动数学发现。

　　在Axiom的办公室里，经常可以感受到这样的氛围，它的会议室都是以数学与计算领域的巨匠命名，比如高斯（Carl Friedrich Gauss）和阿达·洛夫莱斯（Ada Lovelace）。

　　Charton认为，Axiom是一家真正认真对待数学AI的公司，而不是把它当成副业，这点对他来说非常重要。

　　这反映出顶尖学者更看重研究使命与学术氛围，而非单纯的资源或薪资。

　　“摩根奖”获得者

　　来自广州的天才女生

　　Carina Hong的个人履历同样引人瞩目。

　　Carina Hong是一位中美混合背景的学者，她在中国广州长大，从小酷爱数学。

　　她是斯坦福大学数学系博士生，同时也是斯坦福大学法学院法律博士在读，获骑士-亨内西奖学金资助。

　　在此之前，她曾作为罗德学者就读于牛津大学赫特福德学院，获得神经科学硕士学位；她还在伦敦大学学院赛恩斯伯里威康中心的盖茨比研究所从事深度学习研究。

　　Carina Hong本科就读于麻省理工学院（MIT），主修数学与物理双学位，期间在同行评审期刊上发表了9篇论文。

　　2023年，Carina Hong获得了本科数学最高奖项——Frank and Brennie Morgan奖（摩根奖），该奖项是全球数学本科生的最高荣誉。

　　尽管Axiom的发展迅速，但它同样正面临强劲的竞争。

　　今年7月，OpenAI和谷歌DeepMind都曾宣布旗下大模型在国际数学奥林匹克竞赛（IMO）中达到金牌水平。

　　然而在Carina Hong看来，这类基准测试很容易被“刷分”，并不代表真正的研究级数学能力。

　　目前，Axiom的重点是训练能发现并解决新数学问题的模型。

　　但在数学之外Axiom也看到了更广泛的应用前景。

　　未来它的研究应用也将扩展到金融建模、芯片架构、量化交易等更多领域。