Axiomatic AI, a Cambridge, MA-based company building verification solutions empowered by engineering-focused artificial intelligence, has raised $18 million in a Seed funding round led by Engine Ventures.
The round also saw participation from Kleiner Perkins, Big Sur Ventures, Global Vision Capital, Propagator Ventures, and Liquid 2.
The funding round increased the total to $25 million.
Read More:Voomi Supply Raises $10M in Series A Funding
The company plans to use the funds to expand enterprise use and further integrate its verification platform into advanced science and engineering workflows.
Axiomatic AI is building the verification standard for engineering-focused artificial intelligence. Its core technology, Axiomatic Intelligence™, is designed specifically for science and engineering, combining advanced AI models with mathematical and physics-based checks and domain knowledge that grow more valuable with use. Unlike traditional AI, which can produce convincing outputs without verifying them, Axiomatic Intelligence provides clear, physics based reasoning that can be formally audited.
This allows Axiomatic’s products to automate complex engineering workflows while ensuring correctness, and consistency across physical laws, design principles, and logical reasoning.
The company combines advanced AI models with mathematical and physics-based verification to provide clear, provable reasoning for critical and emerging technologies. As engineering grows more complex in areas like semiconductors, photonics, and advanced manufacturing, Axiomatic AI is creating the intelligent infrastructure needed for AI to work reliably within the laws of physics.
Today’s AI can suggest designs, but cannot prove they follow the laws of physics. Even advanced generative models need heavy human oversight in critical scientific, and engineering workflows, which limits productivity and adds risk. The National Institute of Standards, and Technology (NIST) highlights “hallucinations” and errors as major challenges for safely using large language models (LLMs).
Engineers and scientists need systems that reflect physical reality and provide formal guarantees. Relying on manual verification slows work, and increases risk, especially as industries face labour shortages. In the U.S. semiconductor industry alone, about 160,000 new engineering roles will be needed by 2032 to support domestic growth and reshoring efforts.
Axiomatic’s early access program includes several Fortune 100 and 500 companies, such as major semiconductor equipment makers, foundries, fabless design firms, photonics technology companies, and leading non-profit research institutions. The company’s long-term goal is to become the leading workflow platform for science and engineering organisations in high-stakes fields. As more solvers, constraints, and workflows are added, the platform becomes more valuable and sets verification and workflow management as standard requirements for engineering AI.
“We are setting the standard for what science and engineering AI should achieve,” said Jake Taylor, CEO of Axiomatic AI. “As demand for critical hardware grows, AI must go beyond just helping—it must collaborate in a way that can be trusted. AI that cannot explain its reasoning at the level engineers need cannot be used safely in high-stakes technical work. Our goal is to raise the baseline of technical intelligence so it produces verifiable results grounded in physical reality.”
“Science and engineering are the foundation of modern society. Moving from prediction to provable reasoning will shape the next era of AI in critical industries,” said Israel Ruiz, President and General Partner at Engine Ventures. “Axiomatic is creating the infrastructure needed to make this shift happen.”
“Humanity’s greatest achievement—the scientific method—could be overlooked by black-box AI. When we started Axiomatic AI, our goal was to build a different kind of system, one based on math, logical reasoning, and clear explanations, so engineers and scientists are supported rather than replaced by machines,” said Dirk Englund, co-founder of Axiomatic and MIT Professor of Electrical Engineering and Computer Science.
About Axiomatic AI
Founded in 2024, Axiomatic AI creates the infrastructure needed for verified engineering intelligence. Its platform, Axiomatic Intelligence combines advanced AI models with formal verification, and uncertainty checks to provide reliable AI for science, and critical hardware systems. The company is based in Cambridge, Massachusetts, and is backed by Engine Ventures, Kleiner Perkins, Big Sur Ventures, and others.
Read More:KAST Raises $80M in Series A Funding
