No LLM Solved Yu Tsumura's 554th Problem

Simon Frieder, William Hart

We show, contrary to the optimism about LLM's problem-solving abilities, fueled by the recent gold medals that were attained, that a problem exists -- Yu Tsumura's 554th problem --…