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

快速阅读: 24岁罗德学者Carina Hong创立Axiom Math，吸引多位Meta AI顶级研究员加入，公司解决Erdos数学难题，获6400万美元融资，致力于AI数学家研发。

一位24岁的斯坦福辍学生成功吸引了顶级Meta AI研究人员加入她的初创公司，该公司致力于构建一个人工智能数学家。Carina Hong是一位罗德学者，她于今年3月放弃了在斯坦福大学的研究生学业，创立了Axiom Math。Axiom近期宣布解决了两个困扰数学家数十年的Erdos数学问题，并在9月份完成了6400万美元的种子轮融资。公司现有17名员工，多数来自Meta的基础人工智能研究（FAIR）实验室、Meta的GenAI团队以及合并入DeepMind的Google Brain。Axiom正在攻克高级数学难题，这是AI研究人员和领导者认为实现超级智能的关键。Hong表示，这一使命帮助她从大型科技公司吸引到了顶尖人才。

《商业内幕》的“年轻天才”系列聚焦下一代创始人、创新者和思想家，他们正试图重塑行业并解决全球挑战。更多信息请点击这里，或联系编辑Jess Orwig分享您的故事。“我从一些被招募到Axiom的顶级研究员和数学家那里听到，解决数学超级智能将成为他们的遗产，”Hong告诉《商业内幕》，“当问题足够难时，人才密度会非常高，这让你成为其他杰出思想家的磁石。”Hong提到，她早期的招聘重点放在了FAIR，因为“他们持续产出卓越的研究成果。”

FAIR是Meta快速发展的AI组织中最古老的支柱之一，专注于长期研究。Meta于10月对该团队进行了裁员，并在11月失去了首席科学家Yann LeCun，他宣布将离开Meta创办自己的AI初创公司。Axiom从Meta招募的一些成员包括Shubho Sengupta——公司的首位成员，现担任首席技术官，Hong是在一家咖啡馆偶然遇到他的——以及Francois Charton、Aram Markosyan和Hugh Leather。Hong表示，在构建团队时，虽然Meta向整个行业提供了重要的留任方案，但她并不了解任何具体的竞争报价。在一个竞争激烈的人才市场中，Axiom的长期潜力是吸引研究人员的一个因素。此外，她说，这些研究人员自第一天起就被公司的使命所激励，当时办公室里只有一张塑料折叠桌和朋友的一张备用沙发。

Hong不仅从大科技公司招募人才，《华尔街日报》周四报道，她还吸引了她的前教授、著名数学家Ken Ono。Hong认为年龄和经验是“人为的概念”，并且在学术生涯中习惯了与更资深的研究人员合作。她也努力在Axiom营造一种“非等级”的文化。公司的使命不仅仅局限于数学领域——这也是吸引人才的另一个原因。Hong说，Axiom的商业应用可能涵盖任何需要可证明正确推理的领域，例如硬件和软件验证、量化金融和密码学。

(以上内容均由Ai生成)