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.