Most AIs are sycophants. What if we built antagonistic AI?

Grok is pretty antagonistic in a jocular, condescending way.