We devise a simple visual method to determine whether a Tower of Hanoi configuration is a part of the optimal puzzle solution. The proof, sketched here, uses both mathematical induction and counting ...

The problems researchers used to evaluate the reasoning models, which they call LRMs or Large Reasoning Models, are classic logic puzzles like the Tower of Hanoi.