# Axiomatic AI

> Axiomatic AI is a Cambridge, Massachusetts deep-tech company building AI that engineers can actually trust. It pairs frontier language models with formal mathematical and physics-based verification so that the reasoning behind a design decision can be checked, proven, and traced. Its first commercial focus is photonics and semiconductor engineering - fields where simulations are sophisticated but fragmented and a fabrication error is expensive. Founded in 2024 by a group of MIT and ICFO physicists and led by former White House quantum-policy lead Jake Taylor, the company raised an $18M seed in March 2026 to build what it calls the intelligence infrastructure for verified science and engineering.

- **Founded:** 2024
- **Headquarters:** Cambridge, Massachusetts, United States
- **Founders:** Jake Taylor (CEO & Co-Founder), Dirk Englund (Chief Science Officer & Co-Founder (MIT professor)), Marin Soljacic (Co-Founder & Advisor (MIT physics professor)), Frank Koppens (Co-Founder & Advisor (ICFO professor)), Joyce Poon (Co-Founder & Advisor (University of Toronto professor))
- **Team size:** About 25-36 employees
- **Products:** Lemma, Ax-Prover, Axiomatic Operators, Axiomatic Intelligence
- **Notable:** Raised $18M seed in March 2026 led by Engine Ventures, bringing total funding to roughly $25M., Ax-Prover reported 96% on QuantumTheorems (vs ~40% for a standalone frontier model) and 51% on NuminaMath (vs ~5%)., Assembled a founding and advisory bench of leading photonics/quantum physicists from MIT, ICFO and University of Toronto.

## Products & services

- **Lemma** — An AI scientific and engineering co-explorer (closed beta) that helps researchers and engineers work through problems while showing and proving its reasoning.
- **Ax-Prover** — A theorem-proving system (available at prover.axiomatic-ai.com) that pairs frontier models with formal verification; reported 96% on QuantumTheorems and 51% on NuminaMath, outperforming a standalone frontier model on both.
- **Axiomatic Operators** — Autonomous AI agents that carry out engineering workflows - including photonic integrated circuit design automation - with verification built in.
- **Axiomatic Intelligence** — The company's core approach: frontier AI models combined with a structured knowledge base and a flexible verification layer to deliver interpretable, provable reasoning across physical domains.

## Achievements

- Raised $18M seed in March 2026 led by Engine Ventures, bringing total funding to roughly $25M.
- Ax-Prover reported 96% on QuantumTheorems (vs ~40% for a standalone frontier model) and 51% on NuminaMath (vs ~5%).
- Assembled a founding and advisory bench of leading photonics/quantum physicists from MIT, ICFO and University of Toronto.
- Published research on AI agents for photonic integrated circuit design automation (arXiv 2508.14123).

## Latest updates

- **2026-03** — Announced $18M seed round led by Engine Ventures to build verified engineering intelligence.
- **2025-08** — Research published on AI agents for photonic integrated circuit design automation.
- **2024-06** — Raised initial $6M seed led by Kleiner Perkins and Two Small Fish Ventures.

## Links

- Website: https://axiomatic-ai.com
- LinkedIn: https://www.linkedin.com/company/axiomatic-ai

---

Profile page: https://yespress.io/axiomatic-ai
Published by YesPress — https://yespress.io
Last updated: 2026-07-07