ChatGPT 4 solved all the gotcha problems I posed that tripped ChatGPT 3.5 — LessWrong