斯坦福辍学生创办AI数学公司，吸引Meta顶级研究员加入

快速阅读: 24岁斯坦福辍学生Carina Hong创立Axiom Math，吸引多位Meta AI研究员加入。公司解决数学难题，获6400万美元融资，目标开发AI数学家。

一位24岁的斯坦福辍学生成功吸引了多位顶尖Meta AI研究人员加入她初创的公司，该公司致力于开发AI数学家。Axiom Math是Carina Hong的创意成果，她曾是罗德学者，在今年3月从斯坦福大学研究生院退学后创立了这家公司。Axiom最近声称解决了困扰数学界数十年的两个Erdos数学难题，并在9月份宣布完成6400万美元的种子轮融资。公司目前有17名员工，其中许多人来自Meta的基础人工智能研究（FAIR）实验室、Meta的生成式AI团队以及于2023年合并入DeepMind的Google Brain。

Axiom正在攻克高级数学问题，这是AI研究人员和领导者认为实现超级智能的关键领域之一。Hong表示，这一使命帮助她吸引到了来自大型科技公司的顶尖人才。“我从一些顶级研究员和数学家那里听到，解决数学超级智能问题将成为他们的遗产，”Hong告诉《商业内幕》，“当问题足够难时，人才密度会非常高，这使你成为其他优秀思想家的磁石。”

Hong透露，她早期招聘的重点放在FAIR，因为“他们始终提供出色的研究成果。”FAIR是Meta快速发展的AI组织中最古老的支柱之一，专注于长期研究。然而，Meta在10月进行了裁员，该团队后来失去了首席科学家Yann LeCun，他于11月宣布离开Meta，创立自己的AI创业公司。

Axiom Math的一些Meta招募对象包括Shubho Sengupta——公司首位成员，现任CTO，Hong是在一家咖啡馆偶遇他的——以及Francois Charton、Aram Markosyan和Hugh Leather。Hong表示，虽然Meta在她组建团队时提供了行业内具有竞争力的保留方案，但她并未了解具体的竞争对手报价。

在竞争激烈的市场中，Axiom的长期潜力是吸引研究人员的重要因素。此外，Hong说，他们从一开始就对这一使命充满热情，即使那时办公室里只有一张塑料折叠桌和朋友的一张旧沙发。

Hong不仅从大型科技公司招募人才，《华尔街日报》周四报道，她还吸引了她的前教授、著名数学家Ken Ono。Hong认为年龄和经验是“人为概念”，在学术生涯中习惯了与资深研究人员合作。她还力求在Axiom营造一种“非等级制”的文化。

公司的使命不仅仅局限于数学——这也是吸引人才的另一个方面。Hong表示，Axiom的商业应用可能涵盖“任何需要可证明正确推理的领域”，例如硬件和软件验证、量化金融和密码学。

(以上内容均由Ai生成)