Grok 4.7来了,不用官方工具,升级可能变退步?