Isso está correto.
Groq é um provedor de serviços de inferência de IA ultrarrápidos (experimente, é incrível). Eles têm hardware personalizado, mas é basicamente LLMsaaS.
Eu dei um exemplo há um tempo aqui: Discourse Chatbot 🤖 - #1085 by merefield
Não tem nada a ver diretamente com Grok. Grok, por outro lado, é um nome para uma família de modelos, não um provedor. A colisão de nomes é irritante, no entanto! 
Em última análise, a página da web parece correta para mim.