Maybe he figured out a good way to short AI companies?