Grok4的Aider跑分比想象的高，第一梯队的。不知道是不是high模式提升会