The latest and smartest AI model from xAI, beating Grok 3 by a large margin