Bitcoin Miners at a Crossroads: Gain Market Share or Go All-In on AI?