AI 资本情报
Axiom 融资历史与投资方
Axiom是一家构建“可验证AI”的公司，训练系统在Lean编程语言中生成形式化验证的输出，使AI生成的代码在数学上可证明正确且安全，从而消除幻觉和隐藏安全漏洞。
本站收录 Axiom 的 1 条融资披露。日期、轮次、币种与来源以各条记录为准，不代表企业全部融资历史。
最新收录融资速览
本站收录的 Axiom 最新融资披露为 2026-03-12：A轮，2 亿美元；已披露投资方为 Menlo Ventures。这是本库最新记录，不代表企业全部融资。
融资披露与证据
已记录融资披露
- Axiom2026-03-12 · A轮 · 2 亿美元
收录轮次中的已披露投资方
公开披露的创始团队
- Carina Hong · 创始人兼CEO