Axiomatic AI
Category: AI Infrastructure
Axiomatic AI builds verifiable AI infrastructure for science and engineering, combining frontier AI models with formal mathematical and physics-based verification for high-stakes engineering domains. Axiomatic AI was founded in 2024. The company is led by Jake Taylor. Based in Cambridge, Massachusetts, United States. Team size: 11-50. Total funding raised: $25M. Latest round: Seed. Key investors include Engine Ventures, Kleiner Perkins, Big Sur Ventures, Global Vision Capital, Propagator Ventures, Liquid 2, Two Small Fish Ventures.
- Founded
- 2024
- Headquarters
- Cambridge, Massachusetts, United States
- Team size
- 11-50
- Total funding
- $25M
Value proposition
Axiomatic AI provides the only AI platform that combines frontier AI models with formal mathematical proof techniques and physics-based verification, enabling engineers to automate complex workflows with provably correct, interpretable outputs grounded in physical law — eliminating hallucinations and enabling safe AI deployment in high-stakes engineering.
Products and solutions
Axiomatic Intelligence™ (AxI) platform — verifiable AI for engineering, Operators — autonomous AI agents for engineering workflows, Lemma — scientific and engineering AI co-explorer (closed beta), Ax-Prover — deep reasoning agentic framework for theorem proving in mathematics and quantum physics
Unique value
The only AI platform that mathematically proves its engineering outputs comply with physical laws, enabling verified reasoning for semiconductors, photonics, and advanced manufacturing where traditional AI hallucinations are unacceptable.
Target customer
Semiconductor equipment manufacturers, foundries, fabless chip designers, photonics technology firms, advanced manufacturing companies, and research institutions (Fortune 100/500 enterprises in engineering-intensive industries)
Industries served
Semiconductors, Photonics, Advanced Manufacturing, Aerospace, Automotive, Scientific Research
Technology advantage
Proprietary Axiomatic_Intelligence (AxI) technology combining frontier AI models with formal mathematical proof techniques (Lean theorem prover via MCP), physics-based verification, and domain-specific knowledge integration. Ax-Prover achieves 51% on NuminaMath (vs 5% for base LLMs), 64% on AbstractAlgebra, and 96% on QuantumTheorems benchmarks. Multi-agent architecture for automated engineering workflow orchestration with formal auditability.
How they differentiate
Unlike conventional AI systems that produce plausible but unverifiable outputs prone to hallucinations, Axiomatic AI's platform mathematically proves correctness against physical laws at every step. This enables formal auditability and uncertainty quantification — essential for engineering domains where errors compound into catastrophic failures. Competitors (Synopsys, National Instruments, Mentor Graphics) offer traditional EDA/simulation tools without AI-driven verification; Axiomatic AI bridges frontier AI with formal proof systems.
Main competitors
Synopsys (traditional EDA), National Instruments (engineering test/measurement), Mentor Graphics / Siemens EDA
Key partnerships
Lightium AG + MPI Corporation — strategic MoU to develop world's first Intelligent, Autonomous, and Integrated Test Solution (IAITS) for photonic devices (Aug 2025), Partnerships with top research institutions (MIT, ICFO, University of Toronto)
Notable customers
Fortune 100 and Fortune 500 companies in semiconductor equipment manufacturing, foundries, fabless chip design, and photonics technology (specific names not publicly disclosed)
Major milestones
2024: Company founded by MIT/ICFO/UofT professors, $6M seed led by Kleiner Perkins, 2025: Ax-Prover research published, Lightium/MPI/Axiomatic strategic partnership announced, 2026: $18M seed round led by Engine Ventures (total $25M), Lemma closed beta launch, Ax-Prover accepted at ICML 2026, SorryDB benchmark accepted at ICML 2026
Growth metrics
$25M total funding raised; early access program includes Fortune 100/500 enterprises; team across Boston, Barcelona, and Toronto
Market positioning
Pioneering the "verified engineering AI" category — positioned as the trust infrastructure layer for AI in science and engineering. Targets the intersection of the $60B+ semiconductor EDA market and the emerging AI-for-engineering market, with a mission to become the authoritative workflow platform for engineering organizations worldwide.
Geographic focus
Global — headquartered in Cambridge, MA (USA) with offices in Boston, Barcelona, and Toronto
Patents and IP
Axiomatic Intelligence™ (AxI) trademarked technology; Ax-Prover agentic framework; Automated Interpretable Reasoning (AIR) model; multiple research publications at ICML 2026 and arXiv
About Jake Taylor
Former Assistant Director for Quantum Information Science at the White House Office of Science and Technology Policy; Senior Advisor for Critical and Emerging Technologies at NIST; Co-founder, US Center for AI Standards and Innovation
Latest news about Axiomatic AI
More AI Infrastructure companies
Official website: https://axiomatic-ai.com