是的，考慮到單一代理與 grok 4 重型多代理，這似乎是正確的。