登录 / 注册
← 返回公司榜

Axiom Math

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

官网 ↗
市值 / 估值$1.6B
累计融资≥$264M
最后融资 / 上市2026-03
公司融资总额

Axiom Math · Series A

$200M

项目融资动态不代表该机构参与本轮。

按公告/报道原精度;并不表示实际到账日。仅归属本轮明确披露的投资方。

来源 · 1
公司融资总额

Axiom Math · Seed

$64M

项目融资动态不代表该机构参与本轮。

按公告/报道原精度;并不表示实际到账日。仅归属本轮明确披露的投资方。

来源 · 1
核验截至 2026-10-24 · 数据版本 2026-10-24-942f05efae0b