【斯坦福00后数学博士创业公司拟融资5000万美元，瞄准AI量化金融】

一位年轻的中国女性数学家正在#硅谷# AI 创业圈引起关注。据《The Information》报道，洪乐潼（Carina Hong），这位同时在美国斯坦福大学攻读数学博士和法学学位的 00 后学霸，正在为她的 #AI# 初创公司 Axiom 寻求 5000 万美元的融资，目标是开发专门解决复杂数学问题的人工智能系统。

据知情人士透露，尽管 Axiom 尚未推出任何产品，但这家初创公司正在与投资者洽谈，估值目标定在 3 亿至 5 亿美元之间。知名风投机构 B Capital 正在商讨领投这轮融资，不过，这笔交易尚未最终敲定，具体条款仍可能发生变化。

Axiom 的核心理念是开发基于形式数学证明训练的 #AI系统# 。形式数学证明是指使用已被证明的定理（也称为公理）来展示数学陈述真实性的过程，这种方法要求极高的逻辑严密性和准确性。与目前市面上的通用大语言模型不同，Axiom 专注于让 AI 真正理解数学的本质和逻辑结构，而非仅仅进行模式匹配。

“我们想在 Axiom 构建的是使用编程语言来训练机器，让它能够掌握形式证明的语言。”洪乐潼在接受媒体采访时表示。她向潜在投资者介绍，Axiom 的目标客户群体包括对冲基金和量化交易员等金融机构，这些机构在投资决策中经常需要快速解答与资产价值或股票市场相关的复杂数学问题。

戳链接查看详情：http://t.cn/A6eqZDu4