Kimi K3 and Grok 4.5 challanges GPT Sol and Claude Fable