数学家们一直痴迷于能够解决复杂数学问题的人工智能。 OpenAI 等机构开发这些模型的部分开发者 认为，学会解决数学难题的 AI 可以运用相似的推理方法来解决其他类型的问题。但由于当前的人工 智能尚未证明能在高等数学领域超越人类专家，一些创业者看到了开发专业数学模型的机遇。 斯坦福大学数学博士生 Carina Hong 就是其中一员，她正与投资者洽谈，为其新创公司 Axiom 筹集 5000 万美元资金，该公司致力于开发数学解题 AI 。 据知情人士透露，虽然尚未推出产品，但 Carina Hong 正以 3 亿至 5 亿美元的估值进行融资谈判。交 易尚未完成，条款可能变更。 其中一位知情人士表示，曾投资 Glean 、 Perplexity 、 Writer 和 Poolside 等知名 AI 企业的 B Capital 正洽谈领投本轮融资，目前交易尚未最终敲定。 Carina Hong 向潜在投资者表示， Axiom 将开发基于形式化数学证明训练的人工智能。这些证明通过 已被验证的定理（即公理）来展示数学陈述的真实性。 Carina Hong 向潜在支持者透露， Axiom 计划将其最终产品出售给对冲基金 ...