Michael Burry, the short seller who bet against AI