LLMs are really good at k-order thinking (where k is even) — LessWrong