We can assume (outside of Ollama) that they meant the strongest model from each lab. If you limit yourself to just looking at the literal strings in the list, literally none of these are models. What model is "Deepseek" or "GPT"?

Well, GPT-1 was originally called GPT, and it's certainly a model.

He probably asked AI to make the list for him

I asked grok

Maybe stop being lazy?

well i do hope that wasnt grok 4.5

Don't trust, but verify. etc