Have we now hit a new "All Time High" on BTC price (roughly $72.5K)?

That seems like it will spur mining effort, at least until the halving.