# Axiomatic AI

Startup profile on Capital Atlas: https://capitalatlas.ai/startups/axiomatic-ai

- Headquarters: Boston, US
- Website: www.axiomatic-ai.com
- Total disclosed funding: $18M
- Latest round: Seed (Mar 9, 2026)
- Investors on record: 6

## About

Axiomatic AI Inc., based in Boston, US, specializes in advanced AI solutions that enhance engineering workflows, promising rigorous verification across various domains, tailored for critical applications.Founded in 2024, Axiomatic AI Inc. is focused on delivering AI tools for engineering verification. In March 2026, the company raised USD 18 million in Seed funding, led by Engine Ventures, with participation from Big Sur Ventures, Kleiner Perkins, G Vision Capital, Liquid 2 Ventures, and Propagator Ventures. The funding supports their expansion platform and enterprise adoption.Axiomatic AI specializes in advanced AI tools designed to enhance engineering workflows through rigorous verification across multiple domains, including photonics, electronics, thermal management, mechanics, and signal processing. Their flagship product, Ax-Prover, employs verified AI operators ensuring the correctness of outputs, enabling users to iterate rapidly without compromising on precision. These solutions cater to clients globally, focusing on industries such as aerospace, automotive, and telecommunications, where high reliability and formal verification are critical.Axiomatic AI generates revenue through direct sales of its AI-driven products and services, primarily targeting B2B transactions with engineering firms and research institutions. Clients engage through structured partnerships, often opting for subscription models that provide access to their suite of verification tools. The pricing reflects the advanced capabilities of their technology, with long-term contracts fostering ongoing collaborations that ensure continuous support and updates for their products.In March 2026, Axiomatic AI Inc. raised USD 18 million in Seed funding to support its expansion platform and enterprise adoption. The company is looking to launch new products designed to enhance their existing offerings, although specific release dates have not been disclosed. Axiomatic AI is also targeting expansion into North American, European, and Asian markets, aiming to solidify its presence in regions that prioritize precision engineering.

## Funding rounds

- Seed, Mar 9, 2026, $18M — Kleiner Perkins, Big Sur Ventures, Liquid 2 Ventures, Engine Ventures, Propagator Ventures, G Vision Capital

## Investors

- Kleiner Perkins (https://capitalatlas.ai/funds/kleiner-perkins) — Seed
- Big Sur Ventures (https://capitalatlas.ai/funds/big-sur-ventures) — Seed
- Liquid 2 Ventures (https://capitalatlas.ai/funds/liquid-2-ventures) — Seed
- Engine Ventures (https://capitalatlas.ai/funds/engine-ventures) — Seed
- Propagator Ventures (https://capitalatlas.ai/funds/propagator-ventures) — Seed
- G Vision Capital (https://capitalatlas.ai/funds/g-vision-capital) — Seed