Meta and Microsoft both are also significant makers of GenAI models that are public, though neither has a big tentpole LLM line that they sell access.to commercially like OpenAI, Anthropic. Google, SpaceX, which I infer might be what you mean by major model maker.
What does Microsoft have?
Not sure SpaceX counts. Nobody sane uses Grok. It's untrustable due to reality-distorting political bias training, and it's strongly associated with CSAM production. Not what you want in a reliable corporate utility.
Is Meta even in this race anymore?
If you're selling deterministic output, just use traditional code. If you product is inference, it has to be the best inference. This becomes more apparent when you bounce between powerful models and smaller cheaper ones, the cheaper ones _feel_ worse to use.