Axiom is building AI systems that can formally verify code correctness, applying the same proof techniques used to solve complex math.
| Date | Amount | Type | Investors | Valuation |
|---|---|---|---|---|
| 03/16/26 | $200,000,000 |
Greycroft Madrona Venture Group Menlo Ventures | $1,600,000,000 |