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