登录 / 注册

← 返回公司榜

Axiom Math

研发能给出形式化证明的数学推理及代码验证AI。

市值 / 估值$1.6B

累计融资≥$264M

最后融资 / 上市2026-03

最后一轮

Series A · 2026-03

$200M

日期为最近已核披露，不代表保证没有后续融资。

来源 · 1

Fundraising | Axiom ↗2026-10-23

资本方

Menlo Ventures风险投资 Greycroft投资主体（类型未细分）Madrona投资主体（类型未细分）B Capital投资主体（类型未细分）Toyota Ventures投资主体（类型未细分）Triatomic Capital投资主体/品牌（类型待核）