AI 资本情报
Axiom · A轮 · 2 亿美元 · 2026-03-12
本次融资事实速览
Axiom 于 2026-03-12 披露A轮，披露金额为 2 亿美元；已披露投资方为 Menlo Ventures。这是本次披露的融资金额，不代表企业估值或单个投资方出资额。
Axiom是一家构建“可验证AI”的公司，训练系统在Lean编程语言中生成形式化验证的输出，使AI生成的代码在数学上可证明正确且安全，从而消除幻觉和隐藏安全漏洞。
- 融资主体
- Axiom
- 融资披露日期
- 2026-03-12
- 轮次
- A轮
- 融资金额
- 2 亿美元
- 市场范围
- 海外
- 赛道
- 基础模型 / 专用模型与科学模型
- 产品形态
- 模型与 API
已披露投资方
Menlo Ventures
原始来源
记录截至 . 保留来源披露的区间、约数及下限；融资金额不等于估值。