Axiomatic AI

About

Axiomatic AI is a Cambridge, Massachusetts deep-tech company founded in 2024 by a group of MIT, ICFO and Toronto physicists. The company builds verified intelligence for people who design physical things, combining frontier language models with a formal verification layer so that AI answers come with proofs attached. It has raised approximately $25M in total funding, including an $18M seed round in March 2026.