OpenAI o3 Wins Poker Bot Battle; Elon Musk’s Grok Finishes Third