Do we have proof that it's cheaper in terms of $/token/intelligence?

I think the public pricing usually has it cheaper (relatively). Obviously since AI is constantly evolving it's not going to compare as favourably farther to a major Gemini release

I was mainly referring to the TPU hardware advantage + GCP running and designing their own datacenter stack.