Elon Musk's Grok-4 AI claims to solve PhD-level problems with no help from books or the internet—can it really outthink us all?