The investor of the “Big Short” fame said he continues to hold long-dated put options on the artificial intelligence software firm.