I don't know what I'm most impressed by: (a) the testing expertise, (b) the effort spent looking into the reasoning mistakes generated by LLMs, or (c) the insane amounts of money this must have cost!