verifiable-ai
(6)
Oraichain Wants AI to Show Its Work
Oraichain Labs built a blockchain around the problem of trusting AI. Its move into automated trading - and a recent network repair - puts that ambition to a practical test.
OpenGradient
OpenGradient is a New York-based decentralized infrastructure company building the compute layer for verifiable AI. Its network hosts, executes, and verifies machine-learning models on-chain, attaching cryptographic proofs to every inference so applications, agents, and blockchains can confirm exactly which model ran, on what input, and what it returned. The stack pairs an EVM-compatible chain with a heterogeneous GPU/TEE compute architecture, a decentralized Model Hub of 2,000+ models, and developer SDKs, positioning it as an open, auditable alternative to closed cloud AI endpoints.
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.
Code Metal
Code Metal is a Boston-based AI startup building a verifiable code translation platform for mission-critical industries - aerospace, defense, automotive, semiconductors and robotics. Founded in 2023 by AI researchers Peter Morales and Alex Showalter-Bucher, the company combines large language models with formal verification so engineers can write software once and ship it - safely - to any chip.
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.