verifiable-ai
(3)
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.
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.