LLMs Still Suck at Logical Reasoning — LessWrong