
Founded in 2024, Axiomatic AI builds the infrastructure required for verified engineering intelligence. Its proprietary platform, Axiomatic Intelligence, integrates frontier models with formal verification and uncertainty quantification to deliver reliable AI for science and critical hardware systems. Axiomatic is headquartered in Cambridge, Massachusetts and backed by Engine Ventures, Kleiner Perkins, Big Sur Ventures, and more.
| Date | Amount | Type | Investors | Valuation |
|---|---|---|---|---|
| 03/09/26 | $18,000,000 | Seed |
Big Sur Ventures Engine Ventures ![]() Global Vision Capital Kleiner Perkins Caufield and Byers Liquid 2 Ventures Propagator Ventures | undisclosed |