Roman Leventov comments on GPT-4 solves Gary Marcus-induced flubs