Abstract

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 -- that a) is within the scope of an IMO problem interms of proof sophistication, b) is not a combinatorics problem which hascaused issues for LLMs, c) requires fewer proof techniques than typical hardIMO problems, d) has a publicly available solution (likely in the training dataof LLMs), and e) that cannot be readily solved by any existing off-the-shelfLLM (commercial or open-source).

 

Quick Read (beta)