Michael Burry of "The Big Short" fame just bet against two artificial intelligence (AI) stocks that have been seriously ...