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 funding does AI Funding track for Axiomatic AI?
- AI Funding tracks $18M for Axiomatic AI across 1 funding round in this database.
- 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.
Related Insights
Compare the leading AI-focused VC firms: Andreessen Horowitz, Sequoia Capital, Thrive Capital, and 7 more. Analysis of 150+ AI deals, investment strategies, sector focus, and portfolio performance.
Track 395+ AI funding rounds—investors, valuations, and deal sizes from pre-seed to IPO. Updated daily so you never miss a round.
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.