“The research papers on Hierarchical Reasoning Models (HRM) and Tiny Recursive Models (TRM) use Sudoku as a benchmark for incompressible problems.”