Grok确实是一个聪明的AI。