图片来源：MIT
数学家们一直痴迷于能够解决复杂数学问题的人工智能。OpenAI 等机构开发这些模型的部分开发者认为，学会解决数学难题的 AI 可以运用相似的推理方法来解决其他类型的问题。但由于当前的人工智能尚未证明能在高等数学领域超越人类专家，一些创业者看到了开发专业数学模型的机遇。
斯坦福大学数学博士生Carina Hong就是其中一员，她正与投资者洽谈，为其新创公司Axiom 筹集 5000 万美元资金，该公司致力于开发数学解题 AI。
据知情人士透露，虽然尚未推出产品，但Carina Hong正以 3 亿至 5 亿美元的估值进行融资谈判。交易尚未完成，条款可能变更。
其中一位知情人士表示，曾投资Glean、Perplexity、Writer 和 Poolside 等知名 AI 企业的 B Capital 正洽谈领投本轮融资，目前交易尚未最终敲定。
Carina Hong向潜在投资者表示，Axiom 将开发基于形式化数学证明训练的人工智能。这些证明通过已被验证的定理（即公理）来展示数学陈述的真实性。
Carina Hong向潜在支持者透露，Axiom 计划将其最终产品出售给对冲基金和量化交易公司等客户，这些客户需要快速获得复杂数学问题的答案，这些问题涉及资产价值或股票市场等更广泛的议题。
根据各大学公布的在线简历，来自中国的 Carina Hong 于2022年获得麻省理工学院数学与物理学位，随后进入牛津大学深造，并于2024年入读斯坦福大学。她此前发表过关于组合数学的研究论文，这是数学中涉及对象组合计数的领域。目前尚不清楚她招募了哪些人工智能研究人员来协助开发其构想的模型。
此次融资谈判表明，尽管其他投资者警告专注于自主模型开发的初创企业已错过最佳时机，但投资者对人工智能相关商业构想仍愿意接受高估值。
包括 Anthropic、OpenAI 和谷歌在内的顶级开发商的 AI 在回答基础数学问题时仍存在困难，例如会错误判断 9.11 与 9.8 的大小关系，但在处理复杂查询方面已展现出巨大潜力。
OpenAI 的 o4-mini 最近在名为 FrontierMath 的 AI 数学评估中表现优于人类数学家团队。去年，谷歌 AI 以银牌得主水平完成了国际数学奥林匹克竞赛，今年早些时候更以金牌得主水准解决了几何难题。
不知是否巧合，谷歌的数学模型无法解决组合数学问题——而这正是洪博士的专长领域。
Carina Hong此前曾对这些模型在数学方面的表现持保留态度。她在最近一篇X 平台的帖子中表示，OpenAI 的模型之所以能在数学考试中表现优异，是因为该公司在训练模型时接触过这些考题。此外，她在四月的一次采访中指出，这些模型擅长回答问题，却无法证明答案的正确性。
"我们在 Axiom 想要构建的是利用编程语言训练机器，使其能够掌握形式化证明的语言，"Carina Hong在采访中表示。
她的初创公司与过去一年成立的其他专注于数学的人工智能初创公司有相似之处。由Robinhood 首席执行官 Vlad Tenev 于 2023 年创立的 AI 公司 Harmonic，去年秋天以 3.25 亿美元的投后估值从红杉资本等投资方筹集了 7500 万美元 ，提出了类似的构想 ，声称将打造一个能够解决高等数学问题的模型。
参考资料
https://www.theinformation.com/articles/stanford-math-phds-ai-startup-targets-300-million-valuation?rc=o6xpry
编译：ChatGPT
文章来自于“Z Potentials”，作者“theinformation”。
