Arthur Hayes: "Bitcoin will be chosen by AIs as the currency in which their economic actions are denominated"