Elon Musk Just Bet $1.25T On AI in Space