速递｜十个月内估值增长五倍，AI数学华人初创Axiom，获Anthropic资本加持，融资超1亿美元

图片来源：YouTube Axiom 创始人兼CEO Carina Hong

投资者通常根据涉及收入、利润或产品使用情况的指标来资助初创企业。但支持那些与Anthropic 和 OpenAI 竞争的新兴人工智能研究型初创企业的投资者，则不得不依赖其他衡量成功的标准，比如渐进式研究突破或近期人才招聘。

人工智能数学初创企业Axiom 就是一个例子。据知情人士透露，该公司正以 15 亿美元的估值筹集超过 1 亿美元的新资金，由 Anthropic 的主要投资者 Menlo Ventures 领投。Axiom 的目标是开发能在数学领域做出新发现的人工智能，并最终将其用于其他领域的突破。去年，该公司从 Meta Platforms 聘请了几位专注于数学的人工智能研究人员。

Axiom 正展现出进展。这家公司在一月份表示，其开发的一款模型在数学能力方面已达到新的里程碑。据消息人士透露，该公司正在筹集新一轮资金，这将使这家成立仅十个月的企业估值达到去年十月种子轮融资时的五倍——那轮融资同样有 Menlo 参与。

消息人士称，Axiom 目前尚未产生收入。但这在初创阶段实属常态。像 Axiom 这类新兴科技实验室，可能需要数年时间才能开发出具备营收能力的商业化产品。因此，Menlo 等投资者正在采用其他指标来衡量其发展进程。（例如在投资 Humans&或 Ineffable Intelligence 时，投资者就将知名人才的招募作为重要参考依据。）

支撑当前最热门人工智能产品的AI 模型历来在数学领域表现欠佳。即便是 OpenAI 和 Anthropic 开发的先进模型，有时也会在基础问题上出错——例如判断 9.11 与 9.8 孰大孰小。

为改变这一现状，Axiom 正采用形式化数学证明来训练其人工智能，并运用专用软件核验模型生成证明的准确度。

Axiom 在 1 月初表示，其模型已成功解出享有盛誉的普特南数学竞赛全部 12 道试题——这是面向本科生的年度数学竞赛。参与本轮融资的人士透露，这一成就连同 Axiom 人工智能近期在数学领域取得的新发现，激发了投资者的浓厚兴趣，不过具体发现细节尚未公开。 

该公司由Carina Hong 于去年 3 月创立。这位数学家拥有麻省理工学院数学与物理学学士学位、牛津大学神经科学硕士学位，在斯坦福大学攻读博士学位期间选择辍学创业。Hong 拒绝对公司融资事宜发表评论。

公司的长远目标是打造能够自我优化、并具备跨领域问题推理能力的人工智能。现阶段正如其名，正着力开发"AI 数学家"系统。这类软件致力于解决复杂数学问题，生成展示解题步骤的证明过程，并能自主核查运算结果。

洪曾向潜在投资者表示，Axiom 未来可以向对冲基金和量化交易员等客户销售其产品，这些客户需要快速获得复杂数学问题的答案，这些问题涉及资产价值或股票市场等更广泛的议题。去年，公司还从 Meta 聘请了多位专注于数学的知名人工智能研究员，包括舒博·森古普塔 、 弗朗索瓦·沙尔东和阿拉姆·马尔科相 。

该公司正与其他专注数学的人工智能初创企业竞争，包括Harmonic。该公司由 Robinhood 首席执行官弗拉德·特内夫于 2023 年创立，去年 11 月融资时的估值达到 14.5 亿美元，其融资理念同样是构建能够解决高等数学问题的人工智能模型。 

参考资料：