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
A comprehensive geographic analysis of AI venture funding in 2026. San Francisco dominates with $31.4B across 32 companies, but Europe is breaking out with $7.1B in Paris, London, Amsterdam, and Stockholm. We map every city, sector specialization, and emerging hub.
A comprehensive, data-driven analysis of AI venture funding in Q1 2026. $35.9 billion raised across 95 deals, with 15 mega-rounds capturing 85.5% of total capital. Europe breaks out with $6.65B, and billion-dollar seed rounds arrive for the first time.
An in-depth analysis of Benchmark's AI investment portfolio, strategy, co-investors, and sector focus across 1 tracked deals.