Gimlet Labs

Andreessen Horowitz (a16z) announced an investment in Gimlet Labs, which it calls the first multi-silicon inference cloud designed to address the global shortage of AI compute power. The firm notes th…

Gimlet Labs has built an early research system that uses formal verification to prove semantic equivalence between reference PyTorch models and AI-generated GPU kernels, catching bugs that pass tradit…