grok 4 heavy officially destroys gpt-5. take that alterman, never doubt elon