verifiable-ai
(3)
Jake Taylor
Jake Taylor is a physicist turned founder and the CEO of Axiomatic AI, a Cambridge, Massachusetts startup building 'Axiomatic Intelligence' - AI that combines frontier models with formal mathematical and physics-based verification so engineers can design and prove out hardware like semiconductors and photonic chips. Before Axiomatic, Taylor spent 16 years at NIST as a Fellow and ran the first U.S. effort to coordinate quantum science, serving as the inaugural Assistant Director for Quantum Information Science at the White House Office of Science and Technology Policy, where he architected the National Quantum Initiative. He holds a PhD in physics from Harvard, has authored more than 200 publications, and his honors range from the Presidential Early Career Award to the Service to America Medal. In March 2026 he led Axiomatic to an $18M seed round.
Matthew Wang
Matthew Wang is the founder and CEO of OpenGradient, a New York company building a decentralized compute layer for verifiable and confidential AI. A former Two Sigma research engineer who cut his teeth on equity-options market-making infrastructure, he left quant finance in 2024 to chase a simpler question: can you prove that the AI answering you is the AI you think it is? OpenGradient runs models on-chain with cryptographic proofs and hardware enclaves, and has raised $9.5M led by a16z crypto, with backing from Coinbase Ventures, SV Angel, and angels including Balaji Srinivasan, Illia Polosukhin, and Sandeep Nailwal.
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.