Casper comments on How might cryptocurrencies affect AGI timelines?