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.
Foundation EGI is an MIT CSAIL spinout building what it calls Engineering General Intelligence: a domain-specific, agentic AI platform purpose-built for industrial engineering and manufacturing. Instead of treating engineering as text, it encodes the rules of physics, geometry, materials, and manufacturing constraints into a domain-specific language, turning messy specs and CAD models into auditable, executable workflows for technical drawings, process planning, product catalogs, and multilingual documentation. The company raised an oversubscribed $23M Series A in July 2025, bringing total funding past $30M.