I'm confused: Is this GPT-4 or GPT-3.5? The last reasonable answer I found (I forgot where) mentioned that they only downgrade it to v3.5 during peak hours. Still, even if it is v4, it seems to behave differently. The copilot should somehow be added independently to the LLM leaderboards.