The investor who bet against the US housing market in the run-up to the 2007 financial crisis has now placed a significant wager on the collapse of the artificial intelligence (AI) boom.