Big Short-legenden Michael Burry satsar mot AI-boomen med Palantir och Nvidia put-optioner