man grok4 真是太棒了。他们真的做得很好。在很多情况下，它正在取代谷歌。