Just checked if ChatGPT with the Monty Hall problem. If it can spit out formal logic, differentiate between frequentist and Bayesian approaches,.. and how it responds to alternate versions, like an ever-growing (n) doors (ever shrinking higher chance of winning)...etc. Fun.