How gm is built, what we learn running frontier models, and what verifiable inference actually takes.