Axiomatic AI, headquartered in Cambridge, Massachusetts, was founded by a team of internationally recognized experts in physics, photonics and electrical engineering, including MIT professor Dirk Englund, ICFO professor Frank Koppens, University of Toronto professor Joyce Poon, and MIT physicist and MacArthur Fellow Marin Soljačić. The company is led by CEO Jake Taylor, who previously served as Assistant Director for Quantum Information Science at the White House Office of Science and Technology Policy and as a senior advisor for critical and emerging technologies at NIST.
The company's thesis is that frontier AI models, while powerful, are unreliable for high-stakes science and engineering because they lack guarantees. Axiomatic Intelligence addresses this by fusing large AI models with both mathematical and physics-based verification, plus domain-specific knowledge that compounds in value with use. The result is intended to be interpretable, provable reasoning suitable for designing and validating critical and emerging technologies where errors are costly and correctness must be demonstrable.
Axiomatic has focused early efforts on verified engineering for domains like semiconductors and photonics, where physical laws and rigorous specifications make formal verification both essential and tractable. By grounding AI outputs in physics and mathematics rather than statistical likelihood alone, the company aims to let engineers trust AI assistance in the design of chips, photonic systems and other precision hardware.
In March 2026 Axiomatic AI announced an $18 million seed round, bringing total funding to approximately $25 million. The round was led by Engine Ventures with participation from Kleiner Perkins, Big Sur Ventures, Global Vision Capital, Propagator Ventures and Liquid 2. The company sits within the emerging formal-reasoning AI movement alongside Harmonic and Axiom Math, but distinguishes itself by extending verification beyond pure mathematics into physics-grounded engineering, targeting the verified design of real-world critical technologies.