Elon Musk introduced the «thinking» Grok 3 and Grok 3 mini models — competitors DeepSeek and OpenAI with «scary smart» AI