That is not true; GPT is the most reasoning efficient model family on the market.
https://artificialanalysis.ai/models/grok-4-6#token-use
So depending on how you want to define "token efficiency", Grok is either tied with OpenAI, or in the lead.
[1] Though I grant that 4.6 appears to be wordier, on the order of Terra max.