Axiomatic AI
MIT spin-off building verified AI operators for engineering workflows using formal mathematical proofs, serving photonics, electronics, thermal, mechanics, and signal domains.
Overview
Axiomatic AI is an MIT spin-off developing verified AI operators that accelerate engineering workflows through formal mathematical proofs rather than approximations. Their proprietary Ax-Prover system significantly outperforms competing AI systems on mathematical reasoning benchmarks, and their products — including Equation Explorer, Document Parser, and Model Fitter — serve photonics, electronics, thermal, mechanics, and signal domains. Backed by Kleiner Perkins and other investors.
Funding History
Axiomatic AI raises $18M to verify AI for semiconductors and photonics
Frequently Asked Questions
- How much has Axiomatic AI raised in total?
- Axiomatic AI has raised a total of $18M across 1 funding round.
- Who are Axiomatic AI's investors?
- Axiomatic AI's investors include Undisclosed.
- What does Axiomatic AI do?
- Axiomatic AI is an MIT spin-off developing verified AI operators that accelerate engineering workflows through formal mathematical proofs rather than approximations. Their proprietary Ax-Prover system significantly outperforms competing AI systems on mathematical reasoning benchmarks, and their products — including Equation Explorer, Document Parser, and Model Fitter — serve photonics, electronics, thermal, mechanics, and signal domains. Backed by Kleiner Perkins and other investors.
- Where is Axiomatic AI headquartered?
- Axiomatic AI is headquartered in Cambridge, MA.
Investors
Related Insights
The definitive guide to AI startup funding in 2026 — from pre-seed through IPO, covering valuation mechanics, timelines, investor expectations, and how AI companies differ from traditional tech startups.
A data-driven analysis of AI funding across all 17 sectors — from Foundation Models to AI Healthcare — with sector totals, deal counts, top companies, and investment trends for 2026.
Accel has led rounds for Scale AI, Lovable, and Cyera while backing Cursor. We analyze the firm's $2.8B AI portfolio and multi-layer investment thesis.