Ex-OpenAI Researcher Bets $13.7B on Bitcoin Miners, Shorts Nvidia