CAMBRIDGE, Mass. — Axiomatic AI, a startup focused on developing verification-driven artificial intelligence for engineering and scientific applications, has raised $18 million in a seed funding round, bringing the company’s total funding to $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 said the new funding will support expansion of enterprise deployments and deeper integration of its verification platform into complex engineering and scientific workflows.
Axiomatic AI is building a platform designed to combine advanced AI models with mathematical and physics-based verification, enabling engineers and scientists to validate whether AI-generated designs comply with physical laws and engineering constraints. The company says the approach addresses a major limitation in current generative AI systems, which can produce plausible outputs but cannot formally verify whether those outputs are physically correct.
The platform, known as Axiomatic Intelligence, integrates domain-specific engineering knowledge with formal reasoning systems that can validate designs across multiple layers, including fundamental physical principles, engineering constraints and logical consistency.
“We are defining the standard that science and engineering AI must meet,” said Jake Taylor, CEO of Axiomatic AI. “As demand for the hardware underpinning our economy accelerates, machine learning systems must move beyond assistance into accountable collaboration. AI that cannot justify its reasoning, to the level needed for engineering, cannot scale into high-stakes technical domains. Our focus must be on shifting the baseline of technical intelligence to verifiable outcomes that connect to physical reality.”
The company said its early access program already includes several large industrial customers, including Fortune 100 and Fortune 500 companies involved in semiconductor equipment manufacturing, chip design and photonics technologies, along with partnerships with nonprofit research institutions.
Industry observers say the need for verification-based AI is becoming increasingly important as engineering complexity grows across sectors such as semiconductors, advanced manufacturing and photonics. Workforce shortages are also adding pressure on technical industries, with projections suggesting the U.S. semiconductor sector alone may require roughly 160,000 additional engineering roles by 2032.
“Science and engineering are the backbone of modern civilization. The shift from prediction to provable reasoning will define the next era of AI adoption in critical industries,” said Israel Ruiz, President and General Partner at Engine Ventures. “Axiomatic is building the infrastructure layer that makes that shift possible.”
Axiomatic AI was founded by researchers in physics and engineering from leading academic institutions. The founding team includes Dirk Englund, an MIT professor of electrical engineering and computer science; Frank Koppens, a professor and research group leader at the Institute of Photonic Sciences in Barcelona; Joyce Poon, a professor of electrical and computer engineering at the University of Toronto; and Marin Soljačić, a professor of physics at MIT and MacArthur Fellow.
The company is led by CEO Jake Taylor, who previously served as Assistant Director for Quantum Information Science at the White House and as a senior advisor for critical and emerging technologies at the National Institute of Standards and Technology.
“Humanity’s greatest achievement– the scientific method– could become sidelined by black-box AI. When we started Axiomatic AI, the core mission was to build a different kind of system–one in which reasoning would be rooted in math, deductive reasoning, and interpretability, so that engineers and scientists are empowered rather than replaced by machines,” said Dirk Englund, co-founder of Axiomatic and MIT Professor of Electrical Engineering and Computer Science.
