formal-verification
(2)
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.
Peter Morales
Peter Morales is the CEO and co-founder of Code Metal, a Boston-based AI company that hit unicorn status in February 2026 after raising a $125M Series B led by Salesforce Ventures. With a background spanning BAE Systems (F-35 ML optimization), MIT Lincoln Laboratory (counter-drone AI), and Microsoft (HoloLens computer vision), Morales built Code Metal to solve a gap he discovered firsthand: AI can generate code fast, but mission-critical industries — defense, automotive, semiconductors — need proof that code is correct before it ships. Code Metal's verifiable AI platform translates high-level code into hardware-optimized, mathematically verified production code for edge devices, drones, FPGAs, and autonomous systems. Customers include the U.S. Air Force, L3Harris, Raytheon, Toshiba, and Bosch.